What the results could have been under proportional representation