Text this: Verification by error modeling :