 Here are two ways in which, it seems, saying that the cup is earlier distinct from, but later identical with, the truncated cup conflicts with Leibniz's Law. Ostensibly one of the cup's later properties is having earlier had a handle. That is the property the truncated cup never has. So, identifying the later cup and truncated cup appears to violate Leibniz's Law. There is, at least, one property, having formerly had a handle, that the cup and truncated cup never have in common.