[model-checking] Снижение цен!