7.2.3 Constraints