Văn bản này: Verification by error modeling