(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?