What should the university do when the professor's midterm grades are awful?