Clarifictations to semantics (section 3)