CREATE TABLE user_profiles (uid NUMBER, name CLOB, email CLOB, partitionid NUMBER, followers NUMBER)
CREATE TABLE tweets (id NUMBER, uid NUMBER, text CLOB, createdate TIME)
CREATE TABLE follows (f1 NUMBER, f2 NUMBER)

Find the names of the users whose number of followers is greater than that of the user named 'Tyler Swift'.
SELECT T1.name FROM user_profiles AS T1 JOIN follows AS T2 ON T1.uid = T2.f1 GROUP BY T2.f1 HAVING COUNT(*) > (SELECT COUNT(*) FROM user_profiles AS T1 JOIN follows AS T2 ON T1.uid = T2.f1 WHERE T1.name = 'Tyler Swift')
WITH "_u_0" AS (SELECT COUNT(*) FROM "user_profiles" "T1" JOIN "follows" "T2" ON "T1"."uid" = "T2"."f1" WHERE "T1"."name" = 'Tyler Swift') SELECT "T1"."name" FROM "user_profiles" "T1" CROSS JOIN "_u_0" "_u_0" JOIN "follows" "T2" ON "T1"."uid" = "T2"."f1" GROUP BY "T2"."f1" HAVING COUNT(*) > MAX("_u_0"."*")