diff --git a/NEWPROPOSAL/FULLPROP.tex b/NEWPROPOSAL/FULLPROP.tex
index 34bc4795fbd545c1eaea90bdb1c5f5336eb9c95e..ccfa163fab3115bbba599a47fe2170ce4c30ad4d 100644
--- a/NEWPROPOSAL/FULLPROP.tex
+++ b/NEWPROPOSAL/FULLPROP.tex
@@ -1344,7 +1344,7 @@ In the first instance we make contact between \zx and standard circuit and measu
 \WPleaderPOL
 \WPeffort{0}{0}{0}{0}{0}{0}
 \begin{WPaim}
-We build the theoretical foundations for \zx as an IR. This includes extending the capabilities of \zx to represent mixed states, qudit states, and control flows. We use \zx axiomatisations and automated theorem provers to extract out post-classical computing resources, which will be used both for further optimisation work, and for characterisation of quantum algorithmic speed-up.
+We build the theoretical foundations for \zx as an intermediate representation. This includes extending the capabilities of \zx to represent mixed states, qudit states, and control flows. We use \zx axiomatisations and automated theorem provers to extract out post-classical computing resources, which will be used both for further optimisation work, and for characterisation of quantum algorithmic speed-up.
 \end{WPaim}
 \begin{WPtasks} 
     \WPtask[\label{task:axioms}]{Beyond qubits and stabilisers