Aristotle's Posterior Analytics I.4 distinguishes καθόλου (universal demonstration) from mere predic...