diff --git a/NEWPROPOSAL/FULLPROP.tex b/NEWPROPOSAL/FULLPROP.tex
index ff18427af9a1b7ab21def2bc77ac4c1fc7cc751c..e4af39272b38b839575db2e9e90c6dded3c5e765 100644
--- a/NEWPROPOSAL/FULLPROP.tex
+++ b/NEWPROPOSAL/FULLPROP.tex
@@ -670,7 +670,8 @@ The goal is two-fold: to facilitate code-generation for a given machine from a \
 
 A key research challenge of this first research avenue in \ref{wp:backends} consists in the management of the classical computation and classical information within quantum algorithms.
 What computation should occur at the interface between an HLL and the \dzxc system, and which classical parameters are passed on to the \zx terms? Task~\ref{task:betterboxes} focuses on the question of tests based on measurement results: how should they be integrated within the \dzxc system?
-While it will already be quite useful to study concrete diagrams of fixed size (e.g.,~a~quantum circuit on $N$ qubits for a previously-fixed $N$) in the early stages of the project, Task \ref{task:axioms} will extend the \dzxc system to support parametrised families of diagrams (e.g.,~quantum circuits with $N$ qubits where $N$ can vary) mirroring the control structures present in a quantum HLL.
+While it will already be quite useful to study concrete diagrams of fixed size (e.g.,~a~quantum circuit on $N$ qubits for a previously-fixed $N$) in the early stages of the project,  \newt{Task \ref{task:betterboxes} } %\ref{task:axioms} 
+will extend the \dzxc system to support parametrised families of diagrams (e.g.,~quantum circuits with $N$ qubits where $N$ can vary) mirroring the control structures present in a quantum HLL.
 This will enable more sophisticated, generic optimisations to be run in advance of needing any particular computational procedure.
 The test suite designed in in~\ref{task:testBench} will be used to compare and choose amongst the possible solutions.