Study in Derived Algebraic Geometry pocketEngelsk, 2017