clean up some of the mess at the bottom and make progress on the substantial proof