Stuart_Armstrong comments on Example of double indifference

[Stuart_Armstrong]

I’m not assuming $E_{\alpha }{E}_{\beta }=E_{\beta }$. If you do assume that, everything becomes much simpler.