Formal methods | lit.salon