Theory of Structure in AI 4 - pocket, Engelska, 2018