First class constraint