And you are wrong because you can define a loop as iterating recursively over a list with just car and cdr.