simple semantics