Elected Representatives for Lean