https://9dok.net/document/qvl6g4g0-complexity-theory.html