If he did so much verification to prove it's right, why not just write it in the first place?