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