cdar
cdar : ((cons (cons Z (listof Y)) (listof X)) -> (listof Y))
purpose:
to select the rest of a non-empty list in a list
Advanced Student Language