Klagge (1995) objected to this line of argument. He pointed out that Paull and Sider include an extrinsic property M in the supervenient set A, but only intrinsic properties P and Q in the subvenient or base set B. And, he claimed, if we allow that there are the sorts of property-forming operations required to construct extrinsic property M, then Paull and Sider have not exhaustively characterized worlds w and w*. For, given those property-forming operations, it is plausible that there will, for