Verification of Mistakes