2. Typing the long paper on semi-infinite algebraic geometry.
3.-4. Typing the first (and the more important) half of the paper on exact DG-categories.
3.-4. New applications of contramodules to the ring and module theory (my contribution to the joint paper with J.T.)
Cf. https://www.facebook.com/ilyaraz2/posts/1622695738067498