(let ((exp1-val (eval-expression exp1 env)))
  (if (true-value? exp1-val)
      exp1-val
      (eval-expression exp2 env)))





What would one write for the body of a case for or-expression in eval-expression?