Third and final batch: semantics

Enjoy...