Formal semantics | lit.salon