I need a list of changes since last con -- use what's in con book proof 1 as a starting point. Once I get those, I'll release a boilerplate proof. Eric