Made positioning work for non-equivalent amount of proposers, acceptors, and learners.