 Formally, the sentences to which \(D\) applies in the model generated by the Kripke construction are those which fall in \(\mathcal{E}\) or have their negations fall in \(\mathcal{E}\) (equivalently fall in \(\mathcal{A})\). Kripke labeled this being  grounded.[11]