diff --git a/source/iterators.tex b/source/iterators.tex
index ce9786e65a..6c515ab24a 100644
--- a/source/iterators.tex
+++ b/source/iterators.tex
@@ -2806,10 +2806,10 @@
 \begin{itemdescr}
 \pnum
 \expects
-\tcode{last} is reachable from \tcode{first}, or
-\tcode{InputIterator} meets
-the \oldconcept{RandomAccessIterator} requirements and
-\tcode{first} is reachable from \tcode{last}.
+If \tcode{InputIterator} meets the \oldconcept{RandomAccessIterator} requirements,
+\tcode{first} is reachable from \tcode{last}; otherwise,
+\tcode{last} is reachable from \tcode{first}.
+
 
 \pnum
 \effects