In "If the responder restarts and looses this state, that is not a problem: even though an initial packet from earlier can be replayed," looses should be loses.