USING MYSQL, Translate The statement below from english to sql.

What are the names of all students that have taken a course taught by an instructor named Katz? (make sure there are no duplicates)

UNIVERSITY schema:

Classroom(Building, Room_Number, Capacity); Department(Dept_Name, Building, Budget); Course(Course_Id, Title, Dept_Name, Credits); Instructor(Id, Name, Dept_Name, Salary); Section(Course_Id, Sec_Id, Semester, Year, Building, Room_Number, Time_Slot_Id); Teaches(Id, Course_Id, Sec_Id, Semester, Year); Student(Id, Name, Dept_Name, Tot_Cred); Takes(Id, Course_Id, Sec_Id, Semester, Year, Grade); Advisor(S_Id, I_Id); Time_Slot(Time_Slot_Id, Day, Start_Time, End_Time); Prereq(Course_Id, Prereq_Id);