 Alternatively, one might further specify the case in such a way as to be able to argue for the blocks' disjointness. Consider a certain region, r, that is said by Sanford to the exact location of two disjoint material objects: p1 (a part of Block 1) and p2 (a part of Block 2). One might add that two incompatible properties are instantiated at r—say, having mass of 2 kg, and having mass of 3 kg—where each of these properties is such that if it is instantiated by an entity x, then it is instantiated by anything that mereologically coincides with x. Presumably this is no less conceivable (or ‘intuitively possible’) than Sanford's original case. But in this new version of the case, it is not open to Sanford's opponent to claim that the co-located objects are identical or mereologically coincident with each other. For the region contains a 2 kg object and a 3 kg object, and no one object is identical to (or mereologically coincident with) both a 2 kg object and a 3 kg object.