Text this: A program for the full axiom of choice