q5.24 -- cond as a new basic special form