The assumption that there is a full pattern for each world is a consequence of Stalnaker's principle of Conditional Excluded Middle, which says that either or −Y holds at any world (where −Y is the negation of Y).