Index: doc/theses/andrew_beach_MMath/conclusion.tex
===================================================================
--- doc/theses/andrew_beach_MMath/conclusion.tex	(revision 7620e5de3cde400c6cdbad6c516f39d3dfe27ff4)
+++ doc/theses/andrew_beach_MMath/conclusion.tex	(revision 315e5e373412e790b084d3570db5755620ef6682)
@@ -3,17 +3,20 @@
 
 In the previous chapters this thesis presents the design and implementation
-of \CFA's exception handling mechanism (EHM).
+of \CFA's EHM.
 Both the design and implementation are based off of tools and techniques
 developed for other programming languages but they were adapted to better fit
-\CFA's feature set.
+\CFA's feature set and add a few features that do not exist in other EHMs,
+like conditional catch.
 
 The resulting features cover all of the major use cases of the most popular
 termination EHMs of today, along with reintroducing resumption exceptions and
-creating some new features that fix with \CFA's larger programming patterns.
+creating some new features that fit with \CFA's larger programming patterns,
+such as virtuals independent of traditional objects.
 
-The implementation has been tested and compared to other implementations.
+The implementation has been tested through a set of small but interesting micro-benchmarks
+and compared to other implementations.
 The results, while not cutting edge, are good enough for prototyping, which
-is \CFA's stage of development.
+is \CFA's current stage of development.
 
-This is a valuable new feature for \CFA in its own right but also serves
-as a tool (and motivation) for other developments in the language.
+This initial EHM is a valuable new feature for \CFA in its own right but also serves
+as a tool and motivation for other developments in the language.