Formalization of Dialectics | lit.salon