Exercise 2.8: Using reasoning analogous to
Alyssa’s, describe how the difference of two intervals may be computed.  Define
a corresponding subtraction procedure, called sub-interval.