 is false—though each applies the same predicate phrase ‘is a possible object’ to an empty description. Thus we may prefer a more flexible positive free description theory on which identities between empty terms may be false. The literature presents a surprising diversity of these (Lambert 2001a, 2003c, 2003d, 2003h; Bencivenga 2002, pp. 188–193; Lehman 2002, pp. 237–250).