(deftest ric-not()
  (check 
    (not nil)))