 Mark Sainsbury (2005, ch. 6) holds that reference failure invariably makes such statements false and hence that they are best represented in a negative free logic. Others, however—including Orlando 2008 and Dumitru and Kroon 2008—question Sainsbury’s treatment, maintaining that statements like (G) are both atomic and true. If so, they require a positive free logic. The logic must be free because it deals with an empty singular term, and it must be positive, because only on a positive semantics can empty-termed atomic statements be true. One must still decide, however, whether the name ‘Gollum’ is to be understood as having no referent or as having a referent that does not exist.