cddadr

(cddadr pair)

(cddadr x) は (cdr (cdr (car (cdr x)))) です。