Գրեք սա: Verification by error modeling