A program for the full axiom of choice | Hacker News Reader