Text this: Verification by error modeling