diff --git a/source/ranges.tex b/source/ranges.tex
index c93b855ec9..d73c2be75c 100644
--- a/source/ranges.tex
+++ b/source/ranges.tex
@@ -4938,7 +4938,7 @@
 \pnum
 The member \grammarterm{typedef-name} \tcode{iterator_category} is defined
 if and only if \tcode{V} models \libconcept{forward_range}.
-In that case,
+If defined,
 \tcode{\exposid{iterator}::iterator_category} is defined as follows:
 \begin{itemize}
 \item Let \tcode{C} denote the type
@@ -5467,7 +5467,7 @@
 \pnum
 The member \grammarterm{typedef-name} \tcode{iterator_category} is defined
 if and only if \exposid{Base} models \libconcept{forward_range}.
-In that case,
+If defined,
 \tcode{\exposid{iterator}::iterator_category} is defined as follows:
 Let \tcode{C} denote the type
 \tcode{iterator_traits<iterator_t<\exposid{Base}>>::iterator_category}.
@@ -6874,7 +6874,7 @@
 if and only if \exposid{ref-is-glvalue} is \tcode{true},
 \exposid{Base} models \libconcept{forward_range}, and
 \tcode{range_reference_t<\exposid{Base}>} models \libconcept{forward_range}.
-In that case,
+If defined,
 \tcode{\exposid{iterator}::iter\-ator_category} is defined as follows:
 \begin{itemize}
 \item Let \placeholder{OUTERC} denote
@@ -7446,7 +7446,7 @@
 The member \grammarterm{typedef-name} \tcode{iterator_category} is defined
 if and only if \exposid{ref-is-glvalue} is \tcode{true}, and
 \exposid{Base} and \exposid{InnerBase} each model \libconcept{forward_range}.
-In that case,
+If defined,
 \tcode{\exposid{iterator}::iterator_category} is defined as follows:
 
 \begin{itemize}
@@ -9070,7 +9070,7 @@
 The member \grammarterm{typedef-name} \tcode{iterator_category} is defined
 if and only if
 \tcode{\exposconcept{all-forward}<Const, Views...>} is modeled.
-In that case,
+If defined,
 \tcode{\exposid{iterator}::iterator_category} is defined as follows:
 
 \begin{itemize}
@@ -10381,7 +10381,7 @@
 \pnum
 The member \grammarterm{typedef-name} \tcode{iterator_category} is defined
 if and only if \exposid{Base} models \libconcept{forward_range}.
-In that case, \tcode{iterator_category} is defined as follows:
+If defined, \tcode{iterator_category} is defined as follows:
 Let \tcode{C} denote the type
 \tcode{iterator_traits<iterator_t<\exposid{Base}>>::iterator_category}.
 \begin{itemize}
@@ -12197,7 +12197,7 @@
 The member \grammarterm{typedef-name}
 \tcode{\exposid{iterator}::iterator_category}
 is defined if and only if \exposid{Base} models \libconcept{forward_range}.
-In that case,
+If defined,
 \tcode{\exposid{iterator}::iterator_category} is defined as follows:
 \begin{itemize}
 \item
@@ -16193,7 +16193,7 @@
 \pnum
 The member \grammarterm{typedef-name} \tcode{iterator_category} is defined
 if and only if \exposid{Base} models \libconcept{forward_range}.
-In that case,
+If defined,
 \tcode{\exposid{iterator}::iterator_category} is defined as follows:
 \begin{itemize}
 \item