Read through and corrections of halfplanes.tex
Add detail on informal JCT proof. Might still need more diagrams.