working on the semantics
...
minor
semantics edits