Semantics Ch.1 and Ch.2