 There are two presuppositions of this argument: (1) A part of a whole is always smaller in size than a whole—a thesis of which no counter-instance is available in our world; and (2) the parts of the smallest visible composite thing are imperceptible. The second step of the argument runs as follows: