 - If we try to compute `last_pair(z)`, the program will enter in a infinite loop, since the end of the list points back to the beginning.