Invitation to Formal Reasoning | lit.salon