some more on semantics