I’m having trouble following this step of the proof of Theorem 4: “Obviously, the first conditional probability is 1”. Since the COD isn’t necessarily reflective, couldn’t the conditional be anything?
By definition UO()=FiveTenO(⌈COEDTO(⌈U⌉)⌉)=COEDTO(⌈U⌉), regardless of O. (The subscript Qji to P only affects the distribution of O)
EDIT: clarified notation in the post