 What we should say according to the classical four dimensionalist is this. The t1 to t2 temporal part of Tcup is a proper temporal and spatial part of Hcup. Hcup and the t2 to t3 temporal parts of Tcup are proper temporal parts of Cup. Cup is not identical with any of Hcup, Tcup from t1 to t2, Tcup from t2 to t3, or Tcup from t1 to t3. In particular there is no question of Cup being literally identical with Tcup from t2 to t3, when they are indiscernible, though, following David Lewis, we may say that Cup and Tcup are identical at any time between t2 and t3 in the sense that they share temporal parts during those times (see Lewis 1986).