solves fault-intolerant consensus