Then the network isn't lossy, but it's droppy. If all messages are dropped, one of the conditions of the theorem are invalidated; then it becomes a different pr

Then the network isn't lossy, but it's droppy. If all messages are dropped, one of the conditions of the theorem are invalidated; then it becomes a different problem.