renamed iff to cond