4.2.3 Constraints