In protocol $6($See Figure $3-21$ from the book$),$ when a data frame arrives, a check is made to see if the sequence number differs from the one expected and no$\_$nak is true. If both conditions hold, a NAK is sent. Otherwise, the auxiliary timer is started. Suppose that the else clause were omitted. Would this change affect the protocol$$s correctness?