 According to the framework of possible worlds, all alethic modal statements involving possibility are existential quantifications over possible worlds and all alethic modal statements involving actuality are singular statements about a particular possible world, namely, the actual world (Kripke 1959, 1963a, 1963b). For example, to say that Julius Caesar was possibly not assassinated is to say that Julius Caesar was not assassinated at some possible world, and to say that Julius Caesar was actually assassinated is to say that Julius Caesar was assassinated at the actual world. Likewise with existence: to say that Julius Caesar possibly existed is to say that Julius Caesar existed at some possible world, and to say that Julius Caesar actually existed is to say that Julius Caesar existed at the actual world. Assuming that the actual world is a possible world, it follows that if Julius Caesar actually existed, he possibly existed.