ИСТИНА

We discuss briefly our recent results on schematization technics in two-dimensional homotopy theory answering to the question of Serre, to the Melnikov’s conjecture and introducing Infinite Gasch¨utz theory. We emphasize the flexibility of the theory by constructing conjuring(s) (the Amitsur-Levitzki identities in pro-p-groups), which play the key role for deformations.