7.5 Contract Constraints