# Nisan comments on EDT solves 5 and 10 with conditional oracles

• 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 , regardless of . (The subscript to only affects the distribution of )

EDIT: clarified notation in the post