Before revision: Luce's choice axiom 2 : for any .
After revision: ("path independence")Luce's choice axiom 2 : for any .