As a further point of clarification, notice that (C0) does not characterize a criterion for determining whether a continuant x of kind K that exists at t 1 is identical to a continuant y of kind K that exists at t 2 .