In section 3.3, it says "the current_rtt is greater than or equal to
(saved_rtt / 2) and the current_rtt is less than or equal to (saved_rtt x 10)
Section 4.2.1), the sender MUST enter the Normal Phase."
I think you mean less than saved_rtt/2 OR greater than saved_rtt x 10,
and a left parenthesis is missing before the reference to Section 4.2.1.
In section 3.3, it says "the current_rtt is greater than or equal to (saved_rtt / 2) and the current_rtt is less than or equal to (saved_rtt x 10) Section 4.2.1), the sender MUST enter the Normal Phase." I think you mean less than saved_rtt/2 OR greater than saved_rtt x 10, and a left parenthesis is missing before the reference to Section 4.2.1.