variable semantics