https://cares.institute/activity/identification-of-formal-mistakes-and-cueing-by-automatic-review-algorithms/?lang=en