unless test-form {form}*    {result}*

forms - an implicit progn.

results - the values of the forms in a when form if the test-form yields true or in an unless form if the test-form yields false; otherwise nil.

In a when form, if the test-form yields true, the forms are evaluated in order from left to right and the values returned by the forms are returned from the when form. Otherwise, if the test-form yields false, the forms are not evaluated, and the when form returns nil.

In an unless form, if the test-form yields false, the forms are evaluated in order from left to right and the values returned by the forms are returned from the unless form. Otherwise, if the test-form yields false, the forms are not evaluated, and the unless form returns nil.

 (when t 'hello)   HELLO
 (unless t 'hello)   NIL
 (when nil 'hello)   NIL
 (unless nil 'hello)   HELLO
 (when t)   NIL
 (unless nil)   NIL
 (when t (prin1 1) (prin1 2) (prin1 3))
123
 3
 (unless t (prin1 1) (prin1 2) (prin1 3))   NIL
 (when nil (prin1 1) (prin1 2) (prin1 3))   NIL
 (unless nil (prin1 1) (prin1 2) (prin1 3))
123
 3
 (let ((x 3))
   (list (when (oddp x) (incf x) (list x))
         (when (oddp x) (incf x) (list x))
         (unless (oddp x) (incf x) (list x))
         (unless (oddp x) (incf x) (list x))
         (if (oddp x) (incf x) (list x)) 
         (if (oddp x) (incf x) (list x)) 
         (if (not (oddp x)) (incf x) (list x)) 
         (if (not (oddp x)) (incf x) (list x))))
 ((4) NIL (5) NIL 6 (6) 7 (7))

 (when test {form}+) ==(and test (progn {form}+))
 (when test {form}+) ==(cond (test {form}+))
 (when test {form}+) ==(if test (progn {form}+) nil)
 (when test {form}+) ==(unless (not test) {form}+)
 (unless test {form}+) ==(cond ((not test) {form}+))
 (unless test {form}+) ==(if test nil (progn {form}+))
 (unless test {form}+) ==(when (not test) {form}+)