Working model of proposers/acceptors with test.