CREATE TABLE table_20364 ("Residence Hall" CLOB, "Sex" CLOB, "Established" FLOAT, "Rector" CLOB, "Campus" CLOB, "Capacity" FLOAT, "Colors" CLOB, "Mascot" CLOB)

What residence hall has the vermin mascot?
SELECT "Residence Hall" FROM table_20364 WHERE "Mascot" = 'Vermin'
SELECT "Residence Hall" FROM "table_20364" WHERE "Mascot" = 'Vermin'