Completeness of ℝ—filling every gap in the rationals—is itself a mathematically productive property ...