Formal Semantics in Moscow 3