I was referring to the claim being made in Rohin’s summary. (I no longer see counter examples after adding the assumption that “a1 and a2 lead to disjoint sets of future options”.)
I was referring to the claim being made in Rohin’s summary. (I no longer see counter examples after adding the assumption that “a1 and a2 lead to disjoint sets of future options”.)