Move to UML correctness constraints rules: