[model-checking] Комментарий к 4-му заданию