diff --git a/NEWPROPOSAL/FULLPROP.tex b/NEWPROPOSAL/FULLPROP.tex
index 09e51c1895c2931a9df41ff49ab647eb73b63582..6c5f51b97da1e0e1f9206db4d70f0c1d310c1e07 100644
--- a/NEWPROPOSAL/FULLPROP.tex
+++ b/NEWPROPOSAL/FULLPROP.tex
@@ -1317,34 +1317,37 @@ We build the theoretical foundations for \zx as an intermediate representation.
 \end{WPaim}
 \begin{WPtasks} 
     \WPtask[\label{task:axioms}]{Beyond qubits and stabilisers 
-      (M1--M12; Responsible: 2; Involved: 1,3,5)}{%
+   \newt{   (M1--M14; Responsible: 3; Involved: 2,5)}}{%
     %We will exploit further the recent completeness results to give representations for mixed state qubit quantum theory. We will
     %extend the \textsc{zx} tensor formalism from the qubit domain to higher dimensions.
     We will extend the completeness results of the \textsc{zx}-calculus from the qubit domain to higher dimensions, to have complete qudit \textsc{zx}-calculus. Furthermore, we will combine all the qudit \textsc{zx}-calculus into a single framework so that we can deal with the whole finite-dimensional quantum theory in a \textsc{zx} style. In addition, we will exploit techniques from the \textsc{zw}-calculus to understand the deep structure of  W-type tensors.        
     % and exploit the translation from \textsc{zx}-    to \textsc{zw}-calculus.
     }
   \WPtask[\label{task:betterboxes}]{Control in \zx
-    (M1--M18; Responsible: 1; Involved: 2,3,5)}{%
+    \newt{  \ (M1--M18; Responsible: 5; Involved: 1,2,3)}}{%
    % Support simple control flow at the level of \azx, making it a more suitable target for compiling from a high-level language. In particular, add support for repetition and recursive definitions of diagrams, e.g. for expressing and transforming regular families of circuits. 
    We will use parametric \zx terms to support simple control flow at the level of the \dzxc system, making it a more suitable target for compiling from a high-level language. In particular, we will add support for repetition and recursive definitions of diagrams, e.g. for expressing and transforming regular families of circuits. 
   }
       \WPtask[\label{task:resources}]{Resources and axioms
-    (M1--M18; Responsible: 1; Involved: 2,3,5)}{%
+   \newt{ (M1--M36; Responsible: 5; Involved: 1,2,3)}}{%
 We will exploit the three axiom sets for Clifford, Clifford+T, and universal qubit QM,
 to identify and distill specific resources that are necessary to quantum speed-up. In particular, to focus on finding multiple resource elements (rather than simply magic states), and to characterise post-classical composition as a resource.
 This includes developing \zx representations of contextuality, as a possible post-classical resource.
     }
           \WPtask[\label{task:resourcesagain}]{Computational resources
-    (M1--M18; Responsible: 1; Involved: 2,3,5)}{%
+  \newt{  (M12--M36; Responsible: 5; Involved: 1,3,4,6)}}{%
 We will use the existing graph re-writing and automated theorem proving tools of Quantomatic and PyZX to determine parts of the re-writing process that are difficult to compute classically. This will then be used to extract candidate subroutines for sources of quantum speed-up. Along with the previous task, these will be used to develop procedures for characterising if a \zx-represented algorithm demonstrates speed-up or not.
     }
  
 \end{WPtasks}
 \begin{WPdeliverables}
-  \WPdeliverable{M12}{Preliminary assessment of the comparative study of the axiomatizations of paradigms of quantum computation} 
-  \WPdeliverable{M15}{\zx representation and explanation of the result that promotes magic states as a resource of quantum computation in the state injection paradigm} 
-  \WPdeliverable{M18}{Preliminary assessment of nonclassicality of re-writing processes} 
-    \WPdeliverable{M24}{\zx formulation of contextuality (Kochen--Specker and/or generalised Spekken's type)} 
+  \WPdeliverable{M9}{Preliminary assessment of the comparative study of the axiomatizations of paradigms of quantum computation} 
+   \WPdeliverable{M14}{Completeness  of qudit \zx calculus} 
+    \WPdeliverable{M18}{\zx formalism for recursion and control} 
+  \WPdeliverable{M20}{Preliminary assessment of nonclassicality of re-writing processes} 
+    \WPdeliverable{M24}{\zx representation and explanation of the result that promotes magic states as a resource of quantum computation} 
+    \WPdeliverable{M30}{\zx formulation of contextuality (Kochen--Specker and/or Spekken's)} 
+       \WPdeliverable{M36}{Characterisation of set of generic non-classical resources for quantum speed-up} 
 \end{WPdeliverables}
 \end{WP}