So that if whole and part are innate ideas, extension and number must be so too; it being impossible to have an idea of a relation, without having any at all of the thing to which it belongs, and in which it is founded.