While I understand the intent, I feel that is much less rigorous than the 2 problems mentioned (&quot;You Cannot Have Exactly-Once Delivery&quot;, and CAP), both deal with the fact the network is unreliable and <i>only</i> that - even if you had unlimited RAM and disk, the two proofs would still hold.<p>Here a possible solution is proposed &quot;<i>Send the message to Bob even if Carol is offline and store the message to Carol for later delivery.</i>&quot;, and is really just handwaved away by saying no one has unlimited disk space (or a 24&#x2F;7 ops team) (also doesn&#x27;t Amazon sort of solve this problem?). I&#x27;m sure that is a practical limitation, but for the sake of building reliable systems I&#x27;m unsure its strong one.<p>If thats the case, then one could also argue Raft also isn&#x27;t linearizable, because the replicated log file could get really large and no one has unlimited disk space.