Index: doc/theses/colby_parsons_MMAth/text/waituntil.tex
===================================================================
--- doc/theses/colby_parsons_MMAth/text/waituntil.tex	(revision c1b6bc679ffdb0a9ff60093f005242ec70063916)
+++ doc/theses/colby_parsons_MMAth/text/waituntil.tex	(revision 6a4dae6e0323dcc1f2905f70abe7bd4bcdabb1c4)
@@ -472,5 +472,5 @@
 or waituntil( i << C2 ) {}
 or waituntil( i << C3 ) {}
-or waituntil( min( timeout( D1 ), timeout( D2 ),  timeout( D3 ) ) {}
+or waituntil( timeout( min( D1, D2, D3 ) ) ) {}
 
 
@@ -478,13 +478,13 @@
 \end{tabular}
 \end{cquote}
-These examples are basically equivalent.
+These two examples are basically equivalent.
 Here, the multiple timeouts are useful because the durations can change during execution and the separate clauses provide different code blocks if a timeout triggers.
 Multiple timeouts can also be used with @and@ to provide a minimal delay before proceeding.
-In following example, either channels @C1@ or @C2@ must be satisfied but nothing can be done for at least 1 or 3 seconds after the channel read.
+In following example, either channel @C1@ or @C2@ must be satisfied but nothing can be done for at least 1 or 3 seconds after the channel read, respctively.
 \begin{cfa}[deletekeywords={timeout}]
 waituntil( i << C1 ); and waituntil( timeout( 1`s ) );
 or waituntil( i << C2 ); and waituntil( timeout( 3`s ) );
 \end{cfa}
-If only @C2@ is satisfied, \emph{both} timeout code-blocks trigger.
+If only @C2@ is satisfied, \emph{both} timeout code-blocks trigger because 1 second ocurs before 3 seconds.
 Note, the \CFA @waitfor@ statement only provides a single @timeout@ clause because it only supports @or@ semantics.