First class
First class constraint