Do possible worlds exist? Do modalities imply they are real?