cdr
cons
eqv