(COND ( (LESSP (COND ( (PLUSP (DIFFERENCE X Y))
                                 (DIFFERENCE X Y)
                        )
                        (  T  (MINUS (DIFFERENCE X Y)) )
                  )
                  Z)  NIL)
         ( T  T )
   )