Poznámka 15

Neboli (ekvivalentně a s ohledem na přítomný výklad možná zřetelněji) že (z’’ne-SK) všechny dostatečně blízké světy, v nichž je S přesvědčena, že ne-SK, jsou ne-SK světy.