The argument presupposes that symmetry over all permutations is required, but choice functions need ...