 For actualists like Adams, of course, the property of being identical with something is necessarily coextensive with the property of existing and, hence, \(\sfE!\) is often called the existence predicate. It is important to note the stark contrast between the existence predicate \(\sfE!\) and the actuality predicate \(\sfA!\). As we have seen, \(\sfA!\) is a non-logical predicate introduced in the context of the possibilism-actualism debate to (purportedly) signify a distinguished non-logical property: the property (however understood) that, according to the possibilist, distinguishes the likes of us (and abstracta like the numbers) from possibilia. \(\sfE!,\) by contrast, is a purely logical predicate that does not presuppose any particular metaphysical baggage—actualists and possibilists alike (at least, those that accept classical logic) will agree that, as a simple matter of logic, necessarily, everything is identical to something, \(\Box\forall \sfx \sfE!\sfx\). However, given  (as argued above)  that possibilists are also committed to necessitism, \(\Box\forall \sfx\Box \sfE!\sfx,\) they will disagree with the typical actualist over whether or not there are any contingent∃ beings, i.e., over whether or not \(\exists \sfx\, \Diamond\neg \sfE!\sfx\).