Title: Diagnosing and correcting mathematical errors