TeachScheme! 2000

 Scheme evaluation
   -- then definitions, p240

  [No one got further than defns.]

  give (cond [Q1 A1]
             [else A2])
   to those who finish interp-with-defs; encourage to interpret
   factorial with their evaluator