what’s yellow and equivalent to the axiom of choice?