From 5d13e8b1abcb207b4b6e600665ece9789f3c8a11 Mon Sep 17 00:00:00 2001
From: Eisenwave <me@eisenwave.net>
Date: Sat, 2 Nov 2024 13:29:46 +0100
Subject: [PATCH] [defns.valid] Elaborate on cause in example and add
 cross-references

---
 source/intro.tex | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/source/intro.tex b/source/intro.tex
index 4f2984457d..685f0619d8 100644
--- a/source/intro.tex
+++ b/source/intro.tex
@@ -665,8 +665,10 @@
 met and operations on the object behave as specified for its type
 
 \begin{example}
-If an object \tcode{x} of type \tcode{std::vector<int>} is in a
-valid but unspecified state, \tcode{x.empty()} can be called unconditionally,
+If an object \tcode{x} of type \tcode{std::vector<int>} enters a
+valid but unspecified state through a
+move operation\iref{lib.types.movedfrom,class.copy.ctor,class.copy.assign},
+\tcode{x.empty()} can be called unconditionally,
 and \tcode{x.front()} can be called only if \tcode{x.empty()} returns
 \tcode{false}.
 \end{example}