[082349872349872]

If I am reading the footnoted slides properly, do they mean that we are willing to use unbounded determinism when we can take the property that "actions eventually complete" as an axiom (so we prove the rest of the system based on that hypothesis, and make the statistical argument that for those almost never cases where actions don't complete, the process is so unlucky that it "has already been run over by a bus"* anyway, to justify admissability of the hypothesis)?

* thank you Jim Gray (1944-?2007). compare the difference in liveness provability between token ring and ethernet. (but also compare their pragmatic adoption)