From c3c84e2d6f728c766457520bc5ef989ac89a2b77 Mon Sep 17 00:00:00 2001
From: qwang <Quanlong.Wang@cs.ox.ac.uk>
Date: Fri, 15 Feb 2019 12:40:49 +0000
Subject: [PATCH] replace poof with representations in the second last
 paragraph of 1.3.2

---
 NEWPROPOSAL/FULLPROP.tex | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/NEWPROPOSAL/FULLPROP.tex b/NEWPROPOSAL/FULLPROP.tex
index c47d3dd..5dfe68a 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.
-- 
GitLab