Formalization of logic | lit.salon