Temporal Logic häftadEngelska, 2010