Before revision: The sequence numbers always obey the rule that na ≤ nr ≤ ns ≤ nt ≤ na + wt.
After revision: The sequence numbers always obey the rule that na < nr ≤ ns ≤ nt ≤ na + wt.