& semantics