Proof of Lemma 2 (cont.)
To reach a 1-valent extension of ? there are
1. m is not delivered before decision is reached.
2. m is delivered somewhere before decision is
In the first case, we deliver m after the decision
is reached. (i.e. after reaching a 1-valent