diff --git a/NEWPROPOSAL/FULLPROP.tex b/NEWPROPOSAL/FULLPROP.tex
index f8e24c918814e5c5f5725c6a04f0dec4fa0ad62a..9b419f942277093a1c37f3a2271955b7ef8d9f95 100644
--- a/NEWPROPOSAL/FULLPROP.tex
+++ b/NEWPROPOSAL/FULLPROP.tex
@@ -699,7 +699,8 @@ By a comparative study of such axiomatic representations, we will aim at identif
 That is, we will characterise quantum resources in a systematic manner using the \zx framework.
 By further building a bridge from the \zx formulation and traditional (e.g.,~device independent) approaches to quantum resources, we will be able to contrast our findings with the current intuitions of what may power quantum computing.
 These current intuitions include the nonclassical feature of Nature called Kochen--Specker contextuality, as well as Bell nonlocality.
-Hence, the outcome of \ref{task:resources} will also include the development of proofs of contextuality within the \zx language.
+Hence, the outcome of \ref{task:resources} will also include the development of \newt{representations} %proofs 
+of contextuality within the \zx language.
 
 The certification of algorithms featuring quantum speed-up will be addressed in Task~\ref{task:resourcesagain}.
 First, we will identify re-writing processes among the automated theorem proving tools, that cannot be efficiently done with classical algorithms.