consistent semantics for variable