 Non-dictatorship: There does not exist an individual \(i \in N\) such that, for all \(\langle W_1, W_2 , \ldots ,W_n\rangle\) in the domain of \(F\) and all \(x, y \in X, W_i (x) \gt W_i (y)\) implies \(xPy\).