the weakest failure detector for solving consensus
