diff --git a/source/ranges.tex b/source/ranges.tex
index c86b342ee3..9b45b7d649 100644
--- a/source/ranges.tex
+++ b/source/ranges.tex
@@ -751,6 +751,13 @@
 \tcode{const_iterator<decltype(U)>(U)}.
 \end{itemize}
 
+\pnum
+\begin{note}
+Diagnosable ill-formed cases above
+result in substitution failure when \tcode{ranges::cbegin(E)}
+appears in the immediate context of a template instantiation.
+\end{note}
+
 \pnum
 \begin{note}
 Whenever \tcode{ranges::cbegin(E)} is a valid expression, its type models
@@ -778,6 +785,13 @@
 \tcode{const_sentinel<decltype(U)>(U)}.
 \end{itemize}
 
+\pnum
+\begin{note}
+Diagnosable ill-formed cases above
+result in substitution failure when \tcode{ranges::cend(E)}
+appears in the immediate context of a template instantiation.
+\end{note}
+
 \pnum
 \begin{note}
 Whenever \tcode{ranges::cend(E)} is a valid expression,
@@ -939,6 +953,13 @@
 \tcode{const_iterator<decltype(U)>(U)}.
 \end{itemize}
 
+\pnum
+\begin{note}
+Diagnosable ill-formed cases above
+result in substitution failure when \tcode{ranges::crbegin(E)}
+appears in the immediate context of a template instantiation.
+\end{note}
+
 \pnum
 \begin{note}
 Whenever \tcode{ranges::crbegin(E)} is a valid expression, its
@@ -967,6 +988,13 @@
 \tcode{const_sentinel<decltype(U)>(U)}.
 \end{itemize}
 
+\pnum
+\begin{note}
+Diagnosable ill-formed cases above
+result in substitution failure when \tcode{ranges::crend(E)}
+appears in the immediate context of a template instantiation.
+\end{note}
+
 \pnum
 \begin{note}
 Whenever \tcode{ranges::crend(E)} is a valid expression,
@@ -1192,6 +1220,13 @@
 \tcode{\exposid{as-const-pointer}(ranges::data(\exposid{possi\-bly-const-range}(t)))}.
 \end{itemize}
 
+\pnum
+\begin{note}
+Diagnosable ill-formed cases above
+result in substitution failure when \tcode{ranges::cdata(E)}
+appears in the immediate context of a template instantiation.
+\end{note}
+
 \pnum
 \begin{note}
 Whenever \tcode{ranges::cdata(E)} is a valid expression, it