[model-checking] Последняя лекция