 Second, the presentist might claim that Socrates does exist, albeit as a nonconcrete object, adopting the temporal analog of the view held by Linsky and Zalta. Then, although (9) is false, if the predicate ‘x exists’ is regimented as ∃y(y=x), a related proposition concerning Socrates's concreteness is true. Socrates was concrete and now, while he still exists, is nonconcrete. (This view carries a commitment to the claim that a concrete object becomes nonconcrete and that a nonconcrete object becomes concrete, which is even more problematic than the claim that concreteness is a contingent property.)