The collective rationality requirement in Arrow's theorem is weakened to demanding a social quasi-ordering (a reflexive and transitive but not necessarily complete binary relation). This weakening leads to the existence of a group such that (a) whenever all members of the group strictly prefer...