 Here is a second way in which the claim that the cup and truncated cup are sometimes, but not always, identical appears to violate Leibniz's Law. Let us bestow a name on the cup. Call it ‘Cup’. Let us also call the truncated cup ‘Tcup’. We are envisaging that Cup is sometimes, but not always, identical with Tcup. Leibniz's Law tells us that Cup and Tcup share all their properties at any time they are identical. Some properties are commonly referred to as modal properties. A modal property is the property of possibly or necessarily having some further property. Modal properties include such properties as being possibly red, necessarily extended, possibly taller than a giraffe, or necessarily cup shaped. Arguably one of Cup's modal properties is the property of being necessarily identical with Cup. Suppose Cup and Tcup are at some time identical. In that case, by Leibniz's Law, Tcup will, at some time, share with Cup the modal property of being necessarily identical with Cup. So, if Cup is ever identical with Tcup, then Tcup has the modal property of being necessarily identical with Cup. But if Tcup is necessarily identical with Cup, there can be no time when Tcup is distinct from Cup.