Translate the following question to SQL: Show the names of phones and the districts of markets they are on.

Schema: CREATE TABLE phone (
    Name TEXT,
    Phone_ID INT   PRIMARY KEY,
    Memory_in_G INT,
    Carrier TEXT,
    Price REAL,
    UNIQUE (Phone_ID)
);

CREATE TABLE market (
    Market_ID INT   PRIMARY KEY,
    District TEXT,
    Num_of_employees INT,
    Num_of_shops REAL,
    Ranking INT,
    UNIQUE (Market_ID)
);

CREATE TABLE phone_market (
    Market_ID INT   PRIMARY KEY,
    Phone_ID TEXT   PRIMARY KEY,
    Num_of_stock INT,
    PRIMARY KEY (Market_ID, Phone_ID),
    UNIQUE (Market_ID, Phone_ID),
    FOREIGN KEY (Phone_ID) REFERENCES phone(Phone_ID),
    FOREIGN KEY (Market_ID) REFERENCES market(Market_ID)
);
user
SELECT T3.Name ,  T2.District FROM phone_market AS T1 JOIN market AS T2 ON T1.Market_ID  =  T2.Market_ID JOIN phone AS T3 ON T1.Phone_ID  =  T3.Phone_ID
assistant