I think the way I would rule out my counterexample is by strengthening A3 to if A≻B and B≻C then there is p∈(0,1)…
That does not rule out your counterexample. The condition is never met in your counterexample.
Oh, derp. You’re right.
I think the way I would rule out my counterexample is by strengthening A3 to if A≻B and B≻C then there is p∈(0,1)…
That does not rule out your counterexample. The condition is never met in your counterexample.
Oh, derp. You’re right.