 We might not require a truth condition for statements like “Bunbury drank hemlock” or “This is a fine red one” where nothing is demonstrated (cf. Strawson 1950: 333). Those sentences aren’t true, and perhaps don’t make truth-evaluable claims at all. But Wittgenstein has drawn our attention to negative existentials, and we do have a grip on the sort of situations in which they would turn out to be true. If C(“Moses”) represents the cluster condition that singles out Moses in all those situations in which we would say he did exist, then the truth condition for (9a) could be represented as (9b), but not as (9c).