Comment by no_protocol

It doesn't talk about a senate at all:

> It is divided up into 10 districts, each of which sends one representative to the national legislature, which consists of 10 people.

They take this as a given and try to come up with convoluted ways to 'fix' the problem, when just fixing this axiom would solve it much easier.