Generically speaking, `student`/`module_state_key` isn't enough to uniquely identify a StudentModule record (you need the `course_id` as well).