For if A is predicated universally of and this universally of, it is necessary for A to be predicated of always and in every case; for that is what the universal is what holds in every case and always.