semantics

Check it.