(if (> (- y 2) (+ 1 x)) (:= x y) (:= y x))