4.3.3 On the Receiver when receiving the AckOfAcks packet
The Receiver advances the circular lower bound of the active range of the Receiver window buffer to beyond the new sequence number coded in the AckOfAcks packet (section 3.1.1.2.2).
The Receiver stops sending the acknowledgment vector to the Sender.