Chapter intro for partial correctness
Comparison of mark-sweep and copying correctness
Summarise the basic stages of all garbage collectors