 (This equivalence is sometimes taken as a definition of E\(!t\).) Identity statements in negative free logic thus have existential implications. This may be problematic in certain contexts. According to Shapiro and Weir (2000), for example, use of such an “existential” notion of identity sullies the “epistemic innocence” of some recent efforts to base neo-logicist philosophies of mathematics on free logic.