instruction: During the time Mike Carrillo took the course THTREMUS 501 , who is the instructor ?
response: SELECT DISTINCT instructor.name FROM instructor INNER JOIN offering_instructor ON offering_instructor.instructor_id = instructor.instructor_id INNER JOIN student_record ON student_record.offering_id = offering_instructor.offering_id INNER JOIN student ON student.student_id = student_record.student_id INNER JOIN course_offering ON offering_instructor.offering_id = course_offering.offering_id INNER JOIN course ON course.course_id = course_offering.course_id WHERE course.department = 'THTREMUS' AND course.number = 501 AND student.firstname LIKE 'Mike' AND student.lastname LIKE 'Carrillo'