Temporal Logics - pocket, Engelsk, 2023