added more to semantics discussion