Another axiom that Euclid missed | Hacker News Reader