Exploring Possible Worlds