The real line as a place to measure closeness Practice 17 | Zoonk