[xyzzyz]

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.