(if-exp (test-exp true-exp false-exp)
  (if (true-value? (eval-expression test-exp env))
    (eval-expression true-exp env)
    (eval-expression false-exp env)))