Fair group decisions via non-deterministic proportional consensus