CREATE TABLE table_name_31 (office VARCHAR2, prohibition_ticket VARCHAR2)

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"