some semantics