possible world theory - Search