p205 3.33-3.37 constraints