Arto's Notes re: semantics