Text this: Combinatorics and the axiom of choice for finite sets