diff --git a/source/declarations.tex b/source/declarations.tex
index dc6707cef2..aa7f53b59b 100644
--- a/source/declarations.tex
+++ b/source/declarations.tex
@@ -5255,6 +5255,9 @@
 \end{codeblock}
 \end{example}
 
+\pnum
+A reference is said to be \defn{bound} to an object or function \tcode{E} when it is initialized to refer to \tcode{E}.
+
 \pnum
 A reference cannot be changed to refer to another object after initialization.
 \indextext{assignment!reference}%
@@ -5324,8 +5327,8 @@
 functions\iref{over.match.ref} and choosing the best one through overload
 resolution\iref{over.match}),
 \end{itemize}
-then the reference is bound to the initializer expression lvalue in the
-first case and to the lvalue result of the conversion
+then the reference is bound to the object or function to which the initializer expression refers in the
+first case and to the object to which the lvalue result of the conversion refers
 in the second case (or, in either case, to the appropriate base class subobject of the object).
 \begin{note}
 The usual lvalue-to-rvalue\iref{conv.lval}, array-to-pointer\iref{conv.array},
@@ -5386,8 +5389,8 @@
 its type \tcode{T4} is adjusted to type ``\cvqual{cv1} \tcode{T4}''\iref{conv.qual}
 and the temporary materialization conversion\iref{conv.rval} is applied.
 In any case,
-the reference is bound to the resulting glvalue
-(or to an appropriate base class subobject).
+the reference is bound to the object or function to which the resulting glvalue
+refers (or to an appropriate base class subobject).
 
 \begin{example}
 
@@ -5429,7 +5432,7 @@
 the initializer expression is implicitly converted to a prvalue
 of type ``\cvqual{cv1} \tcode{T1}''.
 The temporary materialization conversion is applied and the reference is
-bound to the result.
+bound to the object to which the resulting xvalue refers.
 \end{itemize}
 
 If