Prove that checksum is failing