First class
First class constraints