Index: doc/theses/jiada_liang_MMath/relatedwork.tex
===================================================================
--- doc/theses/jiada_liang_MMath/relatedwork.tex	(revision f3b67b61c77cdbc02930ce3fa8b8ccb9124f9ec5)
+++ doc/theses/jiada_liang_MMath/relatedwork.tex	(revision d3aa55e994d9978b6eeed324d12124cd1e92a452)
@@ -69,13 +69,13 @@
 \begin{pascal}
 day := Sat;
-@wday := day;@			$\C[1.5in]{\{ invalid but allowed\}}$
-wend := day;			$\C{\{ valid\}}$
+@wday := day;@			$\C[1.5in]{\{ check \}}$
+wend := day;			$\C{\{ maybe check \}}$
 day := Mon;
-wday := day;			$\C{\{ valid\}}$
-@wend := day;@			$\C{\{ invalid but allowed\}}$
-day := wday;			$\C{\{ valid\}}$
-day := wend;			$\C{\{ valid\}}\CRT$
+wday := day;			$\C{\{ maybe check \}}$
+@wend := day;@			$\C{\{ check \}}$
+day := wday;			$\C{\{ no check \}}$
+day := wend;			$\C{\{ no check \}}\CRT$
 \end{pascal}
-There should be a static/dynamic range check to verify values.
+There should be a static/dynamic range check to verify values assigned to subtypes.
 (Free Pascal does not check and aborts in certain situations, like writing an invalid enumerator.)