fix undefined refs
fix bad page break in ch 4
tweaks to material about proof, ch. 1