Dodgson's method