Formal Semantics by Ronnie Cann & Cann Ronnie