[defns.valid] Elaborate on cause in example and add cross-references

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}