Provably correct systems | lit.salon