Index: doc/theses/andrew_beach_MMath/intro.tex
===================================================================
--- doc/theses/andrew_beach_MMath/intro.tex	(revision e8a7ca25cfb09b62921f637a538511cf43dc27c4)
+++ doc/theses/andrew_beach_MMath/intro.tex	(revision e8a7ca25cfb09b62921f637a538511cf43dc27c4)
@@ -0,0 +1,44 @@
+\chapter{Introduction}
+
+% Talk about Cforall and exceptions generally.
+This thesis goes over the design and implementation of the exception handling
+mechanism (EHM) of
+\CFA (pernounced sea-for-all, can also be written Cforall or CFA).
+Exception handling provides dynamic inter-function control flow. Although
+a powerful feature they tend to be expensive to use so they are often limited
+to unusual or ``exceptional" cases.
+The classic example of this is error handling, exceptions can be used to
+remove error handling logic from the main execution path and paying most of
+the cost only when the error actually occurs.
+
+% Overview of exceptions in Cforall.
+The \CFA EHM implements all of the common exception features (or an
+equivalent) found in most other EHMs and adds some features of its own.
+The design of all the features had to be adapted to \CFA's feature set as
+some of the underlying tools used to implement and express exception handling
+in other languages are absent in \CFA.
+Still the resulting syntax resembles that of other languages:
+\begin{cfa}
+try {
+	...
+	T * object = malloc(request_size);
+	if (!object) {
+		throw OutOfMemory{fixed_allocation, request_size};
+	}
+	...
+} catch (OutOfMemory * error) {
+	...
+}
+\end{cfa}
+
+% A note that yes, that was a very fast overview.
+All the design and implementation of all of \CFA's EHM's features are
+described in detail later in this thesis, whether they are a common feature
+or one unique to \CFA.
+
+% The current state of the project and what it contributes.
+All of these features have been added to the \CFA implemenation, along with
+a suite of test cases.
+The implementation techniques are generally applicable in other programming
+languages and much of the design is as well, although occationally
+replacements for some of \CFA's more unusual feature would have to be found.
Index: doc/theses/andrew_beach_MMath/uw-ethesis.tex
===================================================================
--- doc/theses/andrew_beach_MMath/uw-ethesis.tex	(revision a049412a2657de5d2f5ce5ca550ac2aaaf660f5c)
+++ doc/theses/andrew_beach_MMath/uw-ethesis.tex	(revision e8a7ca25cfb09b62921f637a538511cf43dc27c4)
@@ -233,8 +233,8 @@
 % Tip: Putting each sentence on a new line is a way to simplify later editing.
 %----------------------------------------------------------------------
+\input{intro}
 \input{existing}
 \input{features}
 \input{implement}
-%\input{unwinding}
 \input{future}