today's algorithms converging on consensus