+#Q. What other questions should I be asking?#
+
+* What is it about the variant fixed-point combinators that makes
+ them compatible with a call-by-value evaluation strategy?
+
+* How do you know that the Ackerman function can't be computed
+ using primitive recursion techniques?
+
+* What *exactly* is primitive recursion?
+