Rules_are_constraints