diff --git a/source/expressions.tex b/source/expressions.tex
index 51ff9a3ce5..edd0ad8654 100644
--- a/source/expressions.tex
+++ b/source/expressions.tex
@@ -5238,6 +5238,9 @@
 the result denotes that object or function;
 otherwise, the behavior is undefined except as specified in \ref{expr.typeid}.
 \begin{note}
+Indirection through a pointer to an out-of-lifetime object is valid\iref{basic.life}.
+\end{note}
+\begin{note}
 \indextext{type!incomplete}%
 Indirection through a pointer to an incomplete type (other than
 \cv{} \keyword{void}) is valid. The lvalue thus obtained can be