Began natural proof section. Fleshed out diagonalization section. Debating everything in earlier pages.