Formal semantics with as little math as possible