"Two formulas such as 9 + x and x + 9" . . . .