tidy
Tidy. And only use a dot between the CAR and CDR of Pairs when the CDR is not itself a Pair