(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)))