diff --git a/source/expressions.tex b/source/expressions.tex
index ca57b3226b..b1ace59831 100644
--- a/source/expressions.tex
+++ b/source/expressions.tex
@@ -8431,9 +8431,10 @@
 it has reference or non-volatile const-qualified integral or enumeration type.
 
 \pnum
-A constant-initialized potentially-constant variable $V$ is
-\defn{usable in constant expressions} at a point $P$ if
-$V$'s initializing declaration $D$ is reachable from $P$ and
+A variable $V$ is
+\defnx{usable in constant expressions}{usable in constant expressions!variable} at a point $P$ if
+$V$ is constant-initialized and potentially-constant,
+$V$'s initializing declaration $D$ is reachable from $P$, and
 \begin{itemize}
 \item $V$ is constexpr,
 \item $V$ is not initialized to a TU-local value, or
@@ -8458,7 +8459,9 @@
 \item
 a reference member of any of the above.
 \end{itemize}
-An object or reference is \defn{usable in constant expressions} at point $P$
+An object or reference is
+\defnx{usable in constant expressions}{usable in constant expressions!object or reference}
+at point $P$
 if it is an object or reference
 that is potentially usable in constant expressions at $P$ and
 is constexpr-representable at $P$.