Our attempt to prove ourselves is really disproving something rather than improving the proof.