All these guarantees are of the form "if (...) then: exactly once processing." You'll find that, indeed, those assumptions must include ruling out permanent li

All these guarantees are of the form "if (...) then: exactly once processing." You'll find that, indeed, those assumptions must include ruling out permanent link failures.