Induction, accordingly, shows not what a thing is, but that it is, or is not. Division shows what it is; and Definition similarly with Division teaches the essence and what a thing is, but not if it is; while Demonstration explains the three points, if it is, what it is, and why it is.