Definitions (and axioms) are invented. Theorems are then discovered.