We have so far failed to incorporate the alternative
payoff the P2 or P3 can get via u2br1 or u3br1 and this
would change the equilibrium equations.