-course. I'm going to use type 3 lists, partly because I know they'll
-give the result I want, but also because they're my favorite. These
-were the lists that made lists look like Church numerals with extra
-bits embdded in them:
+course. We're going to use type 3 lists, partly because I know
+they'll give the result I want, but also because they're the coolest.
+These were the lists that made lists look like Church numerals with
+extra bits embdded in them: