Hey Abdallah,
That is correct.
Every Engagement Cast, each lead looks through the entire stream for the first peice of content they have not received. This behaves exactly the same if a lead becomes unpaused.
So leads do not keep track of which spot they are in the stream. They start at the first peice of content and keep skipping emails until they find one they have not yet received.
Pausing them simply prevents leads from being cast to. Once they are unpaused, everything resumes as normal.
Best,
Will