Therefore, if it is true to say of anything that it is a man, it must be a two footed animal; for this was what 'man' meant; and if this is necessary, it is impossible that the same thing should not be a two footed animal; for this is what 'being necessary'