AC, the axiom of choice, because of its non-constructive character, is the most controversial mathematical axiom, shunned ...