Первый класс
First class constraint