some more text on semantics