Intervals, inequalities and absolute value; supremum and infimum; and completeness, the property that separates ℝ from ℚ. Answers are checked with exact arithmetic.