I'm saying it's incorrect to suggest they can enumerate a representative example of every equivalence class simply because they have a choice function. Of cour

I'm saying it's incorrect to suggest they can enumerate a representative example of every equivalence class simply because they have a choice function. Of course they can pick an element from any of the equivalence classes in bounded time (by the Axiom of Choice) but that says nothing about picking an element from every one of those sets in bounded time.