Bucklin working from first preferences already works because it's an almost degenerate case