We can also use the notion of possible worlds to define many other modal concepts. For example, a necessarily true proposition is a proposition that would be true no matter what possible world was actual. Socrates is a contingent being if there is some possible world such that he would not exist if that world were actual, and he has the property “being human” essentially if every possible world that includes his existence also includes his being human. Kripke and Plantinga have greatly increased the clarity of modal discourse (and particularly of modal discourse de re), but at the expense of introducing a modal ontology, an ontology of possible worlds.