Rewrite
Delete old draft of problematic proof