>Then the wizards use the Axiom of Choice to remember one representative sequence from each class I don't think AoC is enough here becuase the wizards need to

>Then the wizards use the Axiom of Choice to remember one representative sequence from each class I don't think AoC is enough here becuase the wizards need to evaluate the choice function to get the representative from each equivalence class. AoC merely states that there is some function that maps each equivalence class to some element within that equivalence class. It doesn't tell you how to actually evaluate it, which is what the wizards need to do.