rev nil nil rev . x y ++ rev y . x nil car . x y x cdr . x y y null nil true null . x y false ++ nil y y ++ . x y z . x ++ y z 2.2 rev . x y rev y ++ . x y z ++ y z rev . x y ++ rev y . x nil true rev . x y rev y true rev 1 1 0 cdr 1 0 ++ 2 0 false 0 0 true 0 0 null 1 0 ++ 2 0 nil 0 0 rev 1 0 . 2 2 1 null 1 0 cdr 1 0 car 1 0 car 1 0 rev . x y ++ rev y . x nil false ++ . x y z ++ y z true rev 1 0 cdr 1 0 ++ 2 0 false 0 0 true 0 0 null 1 0 ++ 2 1 0 nil 0 0 rev 1 0 . 2 2 1 null 1 0 cdr 1 0 car 1 0 car 1 0 NaTT certifiable-1.6