and another bit

NEWPROPOSAL/FULLPROP.tex

@@ -1710,11 +1710,11 @@ risk activities (\ref{task:trans1}, \ref{task:basic-opt}, \ref{task:ECC},
 %\ref{task:axioms}, THIS IS NOT REAALY LOW RISK
 \ref{task:circuit-model}, \ref{task:mbqc-model})
 will still deliver significant progress towards our overall objective.
-\ref{wp:theory} is the most critical; here we mitigate the risk by
+\oldt{\ref{wp:theory} is the most critical; here we mitigate the risk by
 (i) developing experience on easier objectives before addressing more
 demanding ones and (ii) consulting our board of advisors to foresee
 problems.  Due to its high dependence on other tasks, we consider
-\ref{wp:usefulstuff} to be highest risk.
+\ref{wp:usefulstuff} to be highest risk.}\TODOb{This doesn't seem quite up-to-date, also see below}