 One way to allow that Tcup earlier exists without conceding its later identity with Cup is, following Michael Burke, to maintain that Tcup goes out of existence when Cup loses its handle (see Burke 1994).