The condition for the first sentence e < d + u is not stated in the assumptions in Section 3.

The second sentence is not incorrect, but "c + x" is more consistent with eq1 in Section 2.
--VERIFIER NOTES--
The assumption that c < d + u is stated in section 3.0 (bullet 10) as a design assumption.