(defun power (base exp)
  (cond ((= exp 0) 1)
	(t (* base (power base (- exp 1))))
  )
)