some additions to the semantics