The old version of the semantics. Deprecated.