Fixed notation to reflect that dotted conses are called pairs in our universe.