Translate the following question to SQL: What are the first names of all students in Smith Hall?

Schema: CREATE TABLE Student (
    StuID INTEGER   PRIMARY KEY,
    LName VARCHAR(12),
    Fname VARCHAR(12),
    Age INTEGER,
    Sex VARCHAR(1),
    Major INTEGER,
    Advisor INTEGER,
    city_code VARCHAR(3)
);

CREATE TABLE Dorm (
    dormid INTEGER,
    dorm_name VARCHAR(20),
    student_capacity INTEGER,
    gender VARCHAR(1)
);

CREATE TABLE Dorm_amenity (
    amenid INTEGER,
    amenity_name VARCHAR(25)
);

CREATE TABLE Has_amenity (
    dormid INTEGER,
    amenid INTEGER,
    FOREIGN KEY (amenid) REFERENCES Dorm_amenity(amenid),
    FOREIGN KEY (dormid) REFERENCES Dorm(dormid)
);

CREATE TABLE Lives_in (
    stuid INTEGER,
    dormid INTEGER,
    room_number INTEGER,
    FOREIGN KEY (dormid) REFERENCES Dorm(dormid),
    FOREIGN KEY (stuid) REFERENCES Student(StuID)
);
user
SELECT T1.fname FROM student AS T1 JOIN lives_in AS T2 ON T1.stuid  =  T2.stuid JOIN dorm AS T3 ON T3.dormid  =  T2.dormid WHERE T3.dorm_name  =  'Smith Hall'
assistant