Luce's_choice_axiom loading ...