(lambda (augend addend f x)
  (augend f (addend f x)))