Model Checking - klotband, Engelska, 2018