All familiar election systems are known to have very bad properties and to yield counterintuitive results. The same holds for the allocation of
tenders, resulting in many cases in court. In this project we want to study the topics mentioned above in the new framework recently introduced by Balinski and Laraki, avoiding the paradoxes. Making use of relational reasoning we will develop appropriate software.