If a choice function f on P were in Sym(V), then f would have a finite support of the form {a1,...,a...