It is possible then that good should belong to no horse, and it is necessary that animal should belong to every horse; but it is not necessary that some animal should not be good, since it is possible for every animal to be good.