3.13 last-pair and infinite recursion