Since w 3 and w 4 resolve the question in different ways, the two worlds are disconnected.
the pairs that connect the two worlds are removed as in (30), and the temporary context is partitioned into two cells.