We reason as if the properties of elements or individuals were always (i.e., necessarily) the properties of the wholes which they constitute. But the assumption that what holds true of a part is automatically true of the whole cannot be justified. The form of the argument is: B is part of C and B is D; therefore C is D.