If it is possible that it is necessary that a supernatural being of some sort exists, then it is necessary that a supernatural being of that sort exists (by modal Axiom S5).

Second, whereas necessity characterizes the metaphysical world, for Almeida contingency appears to be a subjective, epistemic contribution. That is, metaphysically, everything necessarily is what it is, has all its properties essentially, and is not something else. Epistemically, we can lower the standards of similarity, so that two things with somewhat differing essential properties can be named the same, although strictly or metaphysically speaking, they are not the same. Similarity is an epistemically expansive concept to allow for contingency, but it does not allow for metaphysical conting...