Using the above system, mathematicians have worked out rules which work all the time, no matter which function is being looked at. (Note: here, formula_7 and formula_8 are both functions of formula_9)