 Clearly, the truth condition here interprets the modal operator \(\Box\) homophonically and, hence, on pain of circularity, cannot be taken to provide any kind of eliminative analysis of the modal operator \(\Box.\) But, as we’ve detailed at length, such an analysis is not Plantinga’s goal. Rather, his account is meant to show how the truth conditions for atomic formulas in an intended interpretation serve to ground propositions like  (2)  in the modal properties of haecceities. (His truth conditions are thus perhaps better thought of as grounding conditions.) Given such an interpretation, then, the truth conditional clauses of Plantinga’s theory yield non-eliminative but philosophically illuminating equivalences that reveal the connections between the statements expressible in a basic modal language \(\scrL_\Box\) and the deeper metaphysical truths of his  theory.[70]