(deftest ric-adjoin() (check (equal (adjoin 'a '(a b)) '(a b)) (equal (adjoin 'c '(a b)) '(c a b))))