And in both cases if you prove in virtue of a division and if you produce a deduction in this way there is the same puzzle: why will man be a two footed terrestrial animal and not animal and terrestrial?