B は A に「M1 を確かに受け取りました」という内容の M2 を A に送る。 だが M2 の到達性は保証されないので M1 の不達性も保証されない (A にとっては M2 を受け取った時点で M1 の到達性が保証されるが、 そのことを B が知ることはできない)。よって B は「A が M1 の到達を 確信している」かどうかわからない。
A は B に「M2 を確かに受け取りました」という内容の M3 を B に送る。 だが M3 の到達性は保証されないので M2 の到達性も保証されない。 よって M1 の到達性も保証されない。 (A は、M2 を自分が受け取った事を B が確信しているかどうか、わからない)
B は A に「M3 を確かに受け取りました」という内容の M4 を A に送る。 だが M3 の到達性は保証されないので M2 の到達性も保証されない。
