(deftest ric-less()
  (check
    (> 2 1)
    (not (> 2 2))
    (not (> 2 3))))