diff --git a/source/statements.tex b/source/statements.tex
index 8805695aa9..ba75c744d2 100644
--- a/source/statements.tex
+++ b/source/statements.tex
@@ -580,8 +580,9 @@
 evaluates to \tcode{true}.
 The \grammarterm{statement} of a trivial infinite loop is replaced with
 a call to the function \tcode{std::this_thread::yield}\iref{thread.thread.this};
-it is implementation-defined whether this replacement occurs
-on freestanding implementations.
+it is \impldef{whether freestanding implementations replace the \grammarterm{statement}
+of a trivial infinite loop with a call to the function \tcode{std::this_thread::yield}}
+whether this replacement occurs on freestanding implementations.
 \begin{note}
 In a freestanding environment,
 concurrent forward progress is not guaranteed;