Debugging the student — LessWrong