"Two formulas such as 9 + x and x + 9 are said to be equivalent because they mean the same thing, but the second one is in `canonical form??? because it is written in the usual way, with the highest power of x first." . . . .