Essential Logic for Computer Science - klotband, Engelska, 2019