Spec: 2.4
Spec: 2.5, 2.7
Note: Inequalities with x in a denominator may not be examined (see penultimate slide).
Spec: 2.5