diff --git a/BlankProjectTemplate/docs/Design/MG/MG-Checklist.tex b/BlankProjectTemplate/docs/Design/MG/MG-Checklist.tex
index ba728ceb04ed49294f6ab3f2974ba721acee7dd8..31e4b3210014ccdaa31cef973d7e44c113e1c419 100644
--- a/BlankProjectTemplate/docs/Design/MG/MG-Checklist.tex
+++ b/BlankProjectTemplate/docs/Design/MG/MG-Checklist.tex
@@ -54,15 +54,16 @@
   \item Traceability matrix between likely changes and modules shows a one to
     one mapping, or, if this is not the case, explains the exceptions to this
     rule.
-    \item Level 1 of the decomposition by secrets shows: Hardware-Hiding,
-      Behaviour-Hiding and Software Decision Hiding.
-    \item Behaviour-Hiding modules are related to the requirements
-    \item Software-Decision hiding modules are concepts that need to be
-      introduced, but are not detailed in the requirements
-    \item Each Software Decision Hiding module is used by at least one
-      Behaviour-Hiding Module (if this isn't the case, an explanation should be
-      provided)
-    \item Uses relation is not confused with a data flow chart
+  \item Level 1 of the decomposition by secrets shows: Hardware-Hiding,
+    Behaviour-Hiding and Software Decision Hiding.
+  \item Behaviour-Hiding modules are related to the requirements
+  \item Software-Decision hiding modules are concepts that need to be
+    introduced, but are not detailed in the requirements
+  \item Each Software Decision Hiding module is used by at least one
+    Behaviour-Hiding Module (if this isn't the case, an explanation should be
+    provided)
+  \item Uses relation is not confused with a data flow chart
+  \item Anticipated changes are a superset of the likely changes in the SRS
   \end{todolist}
 
 \item MG quality
diff --git a/BlankProjectTemplate/docs/SRS/SRS-Checklist.tex b/BlankProjectTemplate/docs/SRS/SRS-Checklist.tex
index c02e1b32b3450006290fd0e3054f02ae06dffe29..3930a7e5c21c7645ec1ff45e83136ebed2007dfc 100644
--- a/BlankProjectTemplate/docs/SRS/SRS-Checklist.tex
+++ b/BlankProjectTemplate/docs/SRS/SRS-Checklist.tex
@@ -133,7 +133,10 @@
   \begin{todolist}
   \item Each assumption is ``atomic'' (no explicit or implicit ``ands'')
   \item Assumptions are a refinement of the scope
-  \item Each assumption is referenced at least once
+  \item Each assumption is referenced at least once in the document
+  \item If an assumption is listed as being referenced by another chunk (T, IM
+    etc), that other chunk should explicitly invoke the assumption in the
+    describing text or derivation
   \item A link exists between each chunk and anything that references it
   \item The rationale is given for assumptions that require justification
   \item The derivation of all GDs as refinements from other models is clear
@@ -141,7 +144,7 @@
   \item All DD are used (referenced) by at least one other model
   \item The IMs remain abstract
   \item Input data constraints are given, with a rationale where appropriate
-  \item Properties of a correct solution are given
+  \item Properties of a correct solution are given (or explicitly left blank)
   \item Equations are balanced with respect to units of all terms
   \end{todolist}
   
diff --git a/BlankProjectTemplate/docs/SRS/SRS.pdf b/BlankProjectTemplate/docs/SRS/SRS.pdf
index b02e3e15bda9dabf26df67514f6cf48faf387536..75847749155e08254daeac290192775b26dfaf2e 100644
Binary files a/BlankProjectTemplate/docs/SRS/SRS.pdf and b/BlankProjectTemplate/docs/SRS/SRS.pdf differ
diff --git a/BlankProjectTemplate/docs/SRS/SRS.tex b/BlankProjectTemplate/docs/SRS/SRS.tex
index 57d4d0925ce1971ba9814847718f85c5b93e8195..39823b0a67935b4140269d969d691f56683b1745 100644
--- a/BlankProjectTemplate/docs/SRS/SRS.tex
+++ b/BlankProjectTemplate/docs/SRS/SRS.tex
@@ -937,8 +937,8 @@ be covered in the Verification and Validation document.}
 \item[NFR\refstepcounter{nfrnum}\thenfrnum \label{NFR_Accuracy}:]
   \textbf{Accuracy} \plt{Characterize the accuracy by giving the context/use for
     the software.  Maybe something like, ``The accuracy of the computed
-    solutions should meet the level needed for <engineering or scientific
-    application>.  The level of accuracy achieved by \progname{} shall be
+    solutions should meet the level needed for $<$engineering or scientific
+    application$>$.  The level of accuracy achieved by \progname{} shall be
     described following the procedure given in Section~X of the Verification and
     Validation Plan.''  A link to the VnV plan would be a nice extra.}