(rontolisp) docs
← (scheme cxr)

cadadr

(cadadr pair)

(cadadr x) is (car (cdr (car (cdr x)))).