What if both happen to have the same total difficulty? Granted, it is unlikely, ...

		xyzzyz on March 24, 2017 \| parent \| context \| favorite \| on: Gryadka is not Paxos, so it's probably wrong What if both happen to have the same total difficulty? Granted, it is unlikely, but so is unlikely a failure of non-paxos system with lease timeouts on the order of ~10 minutes.