  It is shown that, since an ultrafilter over an operator-algebraically finite
(i.e. isomorphic to the lattice of projectors of a finite Von Neumann algebra)
quantum logic is not necessarily principal, Arrow's Impossibility Theorem
doesn't extend to the quantum case.
