(deftest ric-listp ()
(check
  (listp '(a b))
  (not (listp 'a))))