Артём Арутюнян — Контрактное программирование как средство, а не цель