(let ((x 0) (y 1) (z 2)) (cond ((or (= y (+ z 1)) (= (sqrt y) (- z x))) 'hi) ((and (= y (- z 1)) (= (- y z) (- x y))) 'there) ((+ z y) (+ x y)) (else 'cows)))