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.