Context: CREATE TABLE table_12434380_1 (institution VARCHAR, mascot VARCHAR)
Question: What is the name of the institution with the mascot of blue devils?
Answer: SELECT institution FROM table_12434380_1 WHERE mascot = "Blue Devils"