Let . Let be the function defined by the rule Evaluate .