semantics modified