 Cup is wholly constituted by Tcup at t2. Since the later Cup is wholly constituted by something, Tcup, that is an ens successivum of something, Hcup, that wholly constitutes Cup we may say that earlier cup is loosely identical with later Cup.