Large Countable Ordinals, Part 1 | Hacker News Reader