 Instead of denying that Tcup exists at t1 when it is ostensibly a proper part of Cup, we might instead deny that Tcup at t1 is identical with what looks very much like Tcup at t2. In this way we can preserve transitivity without having to identify the earlier cup with one of its proper parts.