Dear colleagues, a complete draft of an exposition of the theory of proof complexity generators is available at my web page: https://www.karlin.mff.cuni.cz/~krajicek/gdraft.html Comments are very welcome. Best regards, Jan Odesláno z bezpečného Proton Mailu.