"To choose one sock from each of infinitely many pairs of socks
requires the Axiom of Choice, but for shoes the Axiom is not
needed."