Mikie, а это позволяет ввести логическое время и виртуальные миры Крипке :) и когда у тебя происходит взаимоисключающий выбор, то образуется два не пересекающихся мира. Красота.

(смотри его же семантические таблицы)