 It is commonly accepted that there are two sorts of existent entities: those that exist but could have failed to exist, and those that could not have failed to exist. Entities of the first sort are contingent beings; entities of the second sort are necessary  beings.[1]  We will be concerned with the latter sort of entity in this article.