In the spirit of “one step is normal, two steps are suspicious, omega steps are normal”, perhaps there’s a ‘triple corrigibility’ issue when EαEβ≠Eβ?
I’m not assuming EαEβ=Eβ. If you do assume that, everything becomes much simpler.
In the spirit of “one step is normal, two steps are suspicious, omega steps are normal”, perhaps there’s a ‘triple corrigibility’ issue when EαEβ≠Eβ?
I’m not assuming EαEβ=Eβ. If you do assume that, everything becomes much simpler.