Reworked local semantics.