Error Identification and Reasoning