Almost done with fixes. Now I just need to make the proof on page 36 clearer.