Bounds of Step 4, bounds: Section 2. Section 2.10: In Inequalities 2.16.1 -- 2.16.12, the domain is all upright quarters. The dihedral angle is measured along the diagonal. In Inequalities 2.16.13--2.16.25, y1 in [2.51,2sqrt2] and y4 in [2.51,2sqrt2] and dih<2.46. In Inequalities 2.16.26--2.16.38, y1 in [2.51,2sqrt(2)], y4 in [2sqrt(2),3.2], and dih < 2.46. Section 3. Section 4. Section 5. Define sigmamax as in (2.21.2).