The Man Who Tried to Prove Too Much