diff --git a/source/expressions.tex b/source/expressions.tex
index eec3be900e..72f77d87bb 100644
--- a/source/expressions.tex
+++ b/source/expressions.tex
@@ -9143,7 +9143,7 @@
 has the value \keyword{true}.
 \end{note}
 \begin{note}
-Furthermore, if the initialization is manifestly constant-evaluated,
+Furthermore, if the initialization is manifestly constant-evaluated\iref{expr.const.defns},
 its evaluation during translation
 can still evaluate contract assertions
 with other evaluation semantics,
@@ -9254,7 +9254,7 @@
 a function parameter scope of an immediate function,
 \item
 it is a subexpression of a manifestly constant-evaluated expression
-or conversion, or
+or conversion\iref{expr.const.defns}, or
 \item
 its enclosing statement is enclosed\iref{stmt.pre} by
 the \grammarterm{compound-statement} of a consteval if statement\iref{stmt.if}.