With the day of the referendum on the UK voting system drawing nearer, Tony Crilly uses a toy example to compare the first past the post, AV and Condorcet voting systems, and revisits a famous mathematical theorem which shows that there is nothing obvious about voting.