Made a home for essential exactness at QC(G) in Section 9.

I'm writing up the proof.