<|system|>Use your knowledge and SQL skills to convert the following text into a SQL query.
Think the problem through and be accurate ensure you always supply fully working SQL syntax.

SQL Statments should be wrapped in <codestart type="sql"> and </codeend> tags.

Example output:
<codestart type="sql">SELECT * FROM table_name;</codeend>
<codestart type="sql">SELECT column_name FROM table_name WHERE column_name = 'value';</codeend><|end|><|user|>Find the name of dorms that do not have amenity TV Lounge.

SQL Table Create Statement:
CREATE TABLE dorm (dorm_name VARCHAR, dormid VARCHAR); CREATE TABLE has_amenity (dormid VARCHAR, amenid VARCHAR); CREATE TABLE dorm (dorm_name VARCHAR); CREATE TABLE dorm_amenity (amenid VARCHAR, amenity_name VARCHAR)<|end|><|assistant|><codestart type="sql">SELECT dorm_name FROM dorm EXCEPT SELECT T1.dorm_name FROM dorm AS T1 JOIN has_amenity AS T2 ON T1.dormid = T2.dormid JOIN dorm_amenity AS T3 ON T2.amenid = T3.amenid WHERE T3.amenity_name = 'TV Lounge'</codeend><|end|>