Do you think we could have the actual names of the rules as subheadings or as footnotes? Like, at the end of the "Multiplication doesn't care about the grouping terms" we could write "Mathematicians call this the associative property of multiplication".