Third and final batch: semantics

Enjoy!