Essential Formal Semantics