Two Years of Formal Dialectics