in (for every mortal animal is either footed or footless), and he assumes A of (for he assumed man to be a mortal animal); consequently it is necessary that man should be either a footed or a footless animal; but it is not necessary that man should be footed this he assumes: and it is just this again which he ought to have proved.