bit more notation on semantics etc.