Counting hints as success makes tutoring logs overestimate what students actually know. — Synthesis