edits made to the semantics