[model-checking] Подарите детям, частичку тепла в Новогодние Праздники!