if the sender receives an ACK which advances snd.fack beyond the value of snd.nxt at the time a segment was retransmitted (and that retransmitted segment is otherwise unaccounted for), the sender knows that segment which was retransmitted has been lost.