4 next we prove that there is no optimal on line rdt protocol that takes fewer forced checkpoints than any other rdt protocol for all possible communication patterns