Title: Grading exercises in reasoning