On "local" and "global" errors in mathematical papers, and how to detect them | Heykuki News