Aristotle's own Posterior Analytics distinguishes demonstrative knowledge by the necessity of the ex...