Special forms and, cond implemented