After implementing COND in my partial evaluator, I've concluded that IF is a better special form. COND simply has too many ways to use it.