Elected Representatives for HOL