Rewrite 4.1
Show how the formalism works for generational garbage collection
Show how to transform incremental collectors into stop-the-world collectors