Informal lectures on formal semantics | lit.salon