cond now requires two branches