[enugu]

As Lang used to say the Axiom Of Choice is obvious, 'I just pick the elements'. Just kidding, thanks for this interesting logical point.