(deftest ric-greater()
  (check
    (< 1 2)
    (not (< 2 2))
    (not (< 4 3))))