Study in Derived Algebraic Geometry pocketEngelska, 2017