Translate the following question to SQL: What are the distinct name of the mills built by the architects who have also built a bridge longer than 80 meters?

Schema: CREATE TABLE architect (
    id TEXT   PRIMARY KEY,
    name TEXT,
    nationality TEXT,
    gender TEXT,
    UNIQUE (id)
);

CREATE TABLE bridge (
    architect_id INT,
    id INT   PRIMARY KEY,
    name TEXT,
    location TEXT,
    length_meters REAL,
    length_feet REAL,
    UNIQUE (id),
    FOREIGN KEY (architect_id) REFERENCES architect(id)
);

CREATE TABLE mill (
    architect_id INT,
    id INT   PRIMARY KEY,
    location TEXT,
    name TEXT,
    type TEXT,
    built_year INT,
    notes TEXT,
    UNIQUE (id),
    FOREIGN KEY (architect_id) REFERENCES architect(id)
);
user
SELECT DISTINCT T1.name FROM mill AS T1 JOIN architect AS t2 ON T1.architect_id  =  T2.id JOIN bridge AS T3 ON T3.architect_id  =  T2.id WHERE T3.length_meters  >  80
assistant