Solution (source code)

= Solution

\b[No positive parameter choices can make everyone eventually favour the proposition for every initial condition.] The all-opposed state $E_N$ is itself an equilibrium, and part (b) shows that an entire neighborhood is attracted to it. Thus initial conditions in that neighborhood cannot converge to $E_Y$.