Input (grade 7): Mathematics is the study of quantity, structure, space, and change.
Output (grade 10): These are theorems and conjectures that have greatly changed mathematics.