diff --git a/source/exceptions.tex b/source/exceptions.tex
index 8b6b62d651..a462fe0bff 100644
--- a/source/exceptions.tex
+++ b/source/exceptions.tex
@@ -615,6 +615,40 @@
 handler continues in a dynamically surrounding try block
 of the same thread.
 
+\pnum
+\indextext{exception handling!terminate called@\tcode{terminate} called}%
+\indextext{\idxcode{terminate}!called}%
+If the search for a handler
+encounters the outermost block of a function with a
+non-throwing exception specification,
+the function \tcode{std::terminate}\iref{except.terminate} is invoked.
+\begin{note}
+An implementation is not permitted to reject an expression merely because, when
+executed, it throws or might
+throw an exception from a function with a non-throwing exception specification.
+\end{note}
+\begin{example}
+\begin{codeblock}
+extern void f();                // potentially-throwing
+
+void g() noexcept {
+  f();                          // valid, even if \tcode{f} throws
+  throw 42;                     // valid, effectively a call to \tcode{std::terminate}
+}
+\end{codeblock}
+The call to
+\tcode{f}
+is well-formed despite the possibility for it to throw an exception.
+\end{example}
+
+\pnum
+If no matching handler is found,
+the function \tcode{std::terminate} is invoked;
+whether or not the stack is unwound before this invocation of
+\tcode{std::terminate}
+is \impldef{stack unwinding before invocation of
+\tcode{std::terminate}}\iref{except.terminate}.
+
 \pnum
 A handler is considered \defnx{active}{exception handling!handler!active} when
 initialization is complete for the parameter (if any) of the catch clause.
@@ -632,14 +666,6 @@
 still active is called the
 \defnx{currently handled exception}{exception handling!currently handled exception}.
 
-\pnum
-If no matching handler is found,
-the function \tcode{std::terminate} is invoked;
-whether or not the stack is unwound before this invocation of
-\tcode{std::terminate}
-is \impldef{stack unwinding before invocation of
-\tcode{std::terminate}}\iref{except.terminate}.
-
 \pnum
 Referring to any non-static member or base class of an object
 in the handler for a
@@ -804,33 +830,6 @@
 has a non-throwing exception specification.
 \end{example}
 
-\pnum
-\indextext{exception handling!terminate called@\tcode{terminate} called}%
-\indextext{\idxcode{terminate}!called}%
-Whenever an exception is thrown
-and the search for a handler\iref{except.handle}
-encounters the outermost block of a function with a
-non-throwing exception specification,
-the function \tcode{std::terminate} is invoked\iref{except.terminate}.
-\begin{note}
-An implementation is not permitted to reject an expression merely because, when
-executed, it throws or might
-throw an exception from a function with a non-throwing exception specification.
-\end{note}
-\begin{example}
-\begin{codeblock}
-extern void f();                // potentially-throwing
-
-void g() noexcept {
-  f();                          // valid, even if \tcode{f} throws
-  throw 42;                     // valid, effectively a call to \tcode{std::terminate}
-}
-\end{codeblock}
-The call to
-\tcode{f}
-is well-formed despite the possibility for it to throw an exception.
-\end{example}
-
 \pnum
 An expression $E$ is
 \defnx{potentially-throwing}{potentially-throwing!expression} if