-  Send sequence number
       in data frame has
       infinite length
  Consequently:
 
 
 
 
 -   Each 
      data frame has
      a unique
       sequence number
 
  
 |   
 
 
 
  
   -  Recv sequence number
       in ACK frame has
       infinite length
  Consequently:
 
 
 
 
 -   Each 
     ACK frame can
     identify
     a data frame
      uniquely.
 
  
 |   
 
 
  
   -  Sender
       has 
       infinite
       buffer capacity
  Consequently:
 
 
 
 
 -  A sender can (and will)
      retain
      every data frame 
      that it has
      transmitted
      (in its buffer)
  
   -  When necessary
      (= when some data frame is lost),
      the
       sender can
       always able to
       re-transmit the
       data frame
    
 
  
 |   
 
 
  
   -  Receiver
       has 
       infinite
       buffer capacity
  Consequently:
 
 
 
 
 -  A receiver can (and will)
      retain
      every data frame 
      that it has
      received
      (in its buffer)
  
   -  The receiver can 
      use the unique send seq. no to
      remove 
      all duplicate data frames
  
  -  The receiver can 
      use the unique send seq. no to
      deliver the 
      data frames in the
      transmission ordering
    
 
  
 |   
 
 
    
 |