 CD1 looks trivial: DAUP guarantees that there is an arbitrary undetached part of Woodrow composed of all of its parts other than Molly. The idea behind CD2 is that Woodrow-minus doesn’t undergo any change between t1 and t2 that could threaten its existence; all that happens is that it is separated from something (Molly) that was not even a part of it. CD3, like CU3, is motivated by the intuition that objects with the same parts and same location must be identical. CD4 is an application of the transitivity of identity: Woodrow-minus1 = Woodrow-minus2, so if Woodrow-minus2 = Woodrow2, then (by transitivity) Woodrow-minus1 = Woodrow2; and since Woodrow2 = Woodrow1, it follows (by transitivity) that Woodrow-minus1 = Woodrow1. Finally, CD5 is a straightforward consequence of Leibniz’s Law: Woodrow-minus1 and Woodrow1 have different parts and thus cannot be identical.