In the timer-based protocol the sender may report a word as possibly lost, when in fact the word was delivered correctly by the receiver.
(1) Describe an execution of the protocol where this phenomenon occurs.
(2) Is it possible to design a protocol in which the sender generates an error report within a bounded time, if and only if the word is not delivered by the receiver?
