Text this: The Completeness of the Real Line