Translate the following question to SQL: Find all students taught by MARROTTE KIRK. Output first and last names of students.

Schema: CREATE TABLE list (
    LastName TEXT   PRIMARY KEY,
    FirstName TEXT   PRIMARY KEY,
    Grade INTEGER,
    Classroom INTEGER,
    PRIMARY KEY (LastName, FirstName),
    UNIQUE (LastName, FirstName)
);

CREATE TABLE teachers (
    LastName TEXT   PRIMARY KEY,
    FirstName TEXT   PRIMARY KEY,
    Classroom INTEGER,
    PRIMARY KEY (LastName, FirstName),
    UNIQUE (LastName, FirstName)
);
user
SELECT T1.firstname ,  T1.lastname FROM list AS T1 JOIN teachers AS T2 ON T1.classroom  =  T2.classroom WHERE T2.firstname  =  "MARROTTE" AND T2.lastname  =  "KIRK"
assistant