Language, proof, and logic | lit.salon