Index: doc/theses/andrew_beach_MMath/future.tex
===================================================================
--- doc/theses/andrew_beach_MMath/future.tex	(revision 6cf21ed888a0b66e38aacbf78c09dc2a1d843879)
+++ doc/theses/andrew_beach_MMath/future.tex	(revision e37db1126547930596a2d9038d06448d37ac2b6f)
@@ -21,4 +21,8 @@
 capability, programmers will want to use it. Once fixed, this capability should
 result in little or no change in the exception system but simplify usage.
+\item
+The @copy@ function in the exception virtual table is an adapter to address
+some limitations in the \CFA copy constructor. If the copy constructor is
+improved it can be used directly without the adapter.
 \item
 Termination handlers cannot use local control-flow transfers, \eg by @break@,
@@ -57,4 +61,8 @@
 type is a child of another. This check precisely captures many of the
 current ad-hoc correctness requirements.
+
+Other features of the virtual system could also remove some of the
+special cases around exception virtual tables, such as the generation
+of the @msg@ function, could be removed.
 
 The full virtual system might also include other improvement like associated