Elements of Formal Semantics by