Elements of formal semantics. (2016)