09-02 WhatIs: Definition, Theorem, Lemma, Corollary, Proposition, Conjecture, Claim, Axiom, Postulate, Identity, and Paradox