That helps me. In his book Quantum Reality, Nick Herbert phrases it this way:

The Everett multiverse violates the CFD assumption because although such a world has plenty of contrafactuality, it is short on definiteness.

which is cutely aphoristic, but confused me. What does contrafactuality even mean in MWI?

Pointing out that MWI rejects factual definiteness clears things up nicely.