Question: Please list the official full names of all the current legislators who have served in the U.S. House.
SQL: SELECT official_full_name FROM current WHERE house_history_id IS NOT NULL