Elected Representatives for Isabelle