Seol mar théacs é seo: Verification by error modeling