Leram - Mathematics and Politics: Strategy, Voting, Power, and Proof