IIA
Dropping IIA creates lots of possibilities. Define $B_n(x)=\#\{y:x\succ_n y\}$ and
\begin{equation*}
B(x)=\sum_nB_n(x)
\end{equation*}
This is the Borda count. Finally, define the social order $x\succ y$
iff $B(x)>B(y)$.
Construct an example to show how this violates IIA. Does it violate any other axioms?
toc