 Consider the case of Cup and Tcup. Is Cup at the later time t′ identical with Tcup? Is Tcup at t′ identical with Tcup at t? A relative identity theorist would deny that these questions have answers. For such a theorist to have an answerable question we would need to replace, for example, the first with: At t′ is Cup the same cup as Tcup?