tokens: ['The', 'Sender', 'shall', 'terminate', 'the', 'SDU', 'discard', 'with', 'explicit', 'signalling', 'procedure', 'if', 'one', 'of', 'the', 'following', 'criteria', 'is', 'fulfilled', '', 'a', 'STATUS', 'PDUpiggybacked', 'STATUS', 'PDU', 'containing', 'an', 'MRWACK', 'SUFI', 'is', 'received', 'and', 'the', 'SNACK', 'field', 'in', 'the', 'received', 'MRWACK', 'SUFI', '', 'the', 'SNMRWLENGTH', 'field', 'in', 'the', 'transmitted', 'MRWSUFI', 'and', 'the', 'N', 'field', 'in', 'the', 'received', 'MRWACK', 'SUFI', 'is', 'set', 'equal', 'to', '', '', 'a', 'STATUS', 'PDUpiggybacked', 'STATUS', 'PDU', 'containing', 'an', 'MRWACK', 'SUFI', 'is', 'received', 'and', 'the', 'SNACK', 'field', 'in', 'the', 'received', 'MRWACK', 'SUFI', '', 'the', 'SNMRWLENGTH', 'field', 'in', 'the', 'transmitted', 'MRWSUFI', 'and', 'the', 'N', 'field', 'in', 'the', 'received', 'MRWACK', 'SUFI', 'is', 'set', 'equal', 'to', 'the', 'NLENGTH', 'field', 'in', 'the', 'transmitted', 'MRW', 'SUFI', '', 'a', 'STATUS', 'PDUpiggybacked', 'STATUS', 'PDU', 'containing', 'an', 'ACK', 'SUFI', 'is', 'received', 'and', 'this', 'STATUS', 'PDUpiggybacked', 'STATUS', 'PDU', 'indicates', 'that', 'all', 'AMD', 'PDUs', 'up', 'to', 'and', 'including', 'the', 'AMD', 'PDU', 'with', 'Sequence', 'Number', 'equal', 'to', 'SNMRWLENGTH', 'field', 'in', 'the', 'transmitted', 'MRW', 'SUFI', '', '', 'has', 'been', 'received', 'or', 'discarded', 'by', 'the', 'peer', 'entity', 'Upon', 'termination', 'of']