Before revision: Sequence number range required 400px |Sequence numbers modulo 4, with wr=1.
After revision: Sequence number range required upright=1.8 |Sequence numbers modulo 4, with wr=1.