Include 'Generalised' in heading of chapter 6
Present-tensify intro to chapter 6
Add forward references to chap 6 intro
Fix spacing (why does \left.\lor not insert a \thinspace between the \lor and the following thing?) in generalised correctness criteria
Unparenthesise clause in defn 6.2.1
'this chapter combined' -> 'this chapter has combined'