First class constraint (source code)

= First class constraint
{wiki=First_class_constraint}