(defun g (x)
  (lambda (y)
    (lambda (z)
       (* (+ x y) z))))