Well-ordering of reals | Hacker News Reader