"Hence, even if ˜Socrates does not exist™ were to contain the predicate ˜does not exist™, the property stood for by that predicate could at most be a Cambridge one; and Cambridge properties can be acquired even by individuals that do not exist at the time."