CREATE TABLE table_name_31 (office VARCHAR, prohibition_ticket VARCHAR)

What office did Henry Hagner run for on the prohibition ticket?
SELECT office FROM table_name_31 WHERE prohibition_ticket = "henry hagner"
SELECT "office" FROM "table_name_31" WHERE "henry hagner" = "prohibition_ticket"