Exploring possible worlds