diff --git a/NEWPROPOSAL/FULLPROP.tex b/NEWPROPOSAL/FULLPROP.tex
index 783f1678ae2233fdfc65d8bddf812f78fbeb3db7..305d037770df00a0425fac51a7d6a403269cda09 100644
--- a/NEWPROPOSAL/FULLPROP.tex
+++ b/NEWPROPOSAL/FULLPROP.tex
@@ -1298,7 +1298,7 @@ Devise test-suite of concrete instances of circuits and
 %%%
 \begin{WP}{Representation, reasoning, and resources in \zx}{1M}{36M}{wp:backends}
 \WPleaderPOL
-\WPeffort{{12}}{{12}}{{14}}{{4}}{{42}}{{6}}
+\WPeffort{{2}}{{12}}{{14}}{{4}}{{42}}{{6}}
 \begin{WPaim}
 %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.
 We build the theoretical foundations for \zx as an intermediate representation. This includes extending the capabilities of \zx to represent qudit states with a fixed $d$, arbitrary finite-dimensional quantum states, and control flows. We explore the structure of W-type tensors with interaction with \zx generators of GHZ-type. 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.
@@ -1436,7 +1436,7 @@ Perdrix, Valiron, Carette.}
 %%%
 \begin{WP}{Machine-dependent optimisation}{13M}{36M}{wp:usefulstuff}
   \WPleaderGREN
-  \WPeffort{12}{9}{12}{6}{6}{0}
+  \WPeffort{20}{9}{12}{6}{6}{0}
   \begin{WPaim}
 We import machine-dependent specifications to \zx terms, and use this to optimise algorithms further for specific hardware constraints. We focus on the silicon spin qubits developing in Grenoble, the ion traps developed in Oxford, and the superconducting devices accessible through CQC and partnership with IBM. This is the culmination of all previous work packages, and feeds back into them. The final result will be \ldots.
 Also machine-dependent error correction?
@@ -1553,13 +1553,13 @@ Staton, Carette.}
     & \ref{wp:usefulstuff} 
     & \ref{wp:admin} 
     & \textbf{TOTAL} \\\hline
-1. Grenoble   &  12 & 2 & 12 & 12 & 3  & 41 \\\hline
+1. Grenoble   &  12 & 2 & 12 & 20 & 3  & 49 \\\hline
 2. LORIA      & 20 & 12 & 9  & 9  & 3  & 53 \\\hline
 3. Oxford     & 32 & 14 & 30 & 12 & 2  & 90 \\\hline
-4. CQC        &  12 & 4  & 12 &  6 & 1  & 28 \\\hline
+4. CQC        &  12 & 4  & 12 &  6 & 1  & 35 \\\hline
 5. Gdansk     &  12& 42 & 12 & 6 & 4  & 76 \\\hline
-6. Nijmegen   &  3 & 6  & 12 & 0 & 2  & 23 \\\hline
-\textbf{TOTAL}& 91 & 80 & 87 & 45 & 11 & 317   \\\hline 
+6. Nijmegen   &  3 & 6  & 12 & 0 & 0  & 21 \\\hline
+\textbf{TOTAL}& 91 & 80 & 87 & 53 & 13 & 324   \\\hline 
   \end{tabular}
 \end{center}}
 
diff --git a/NEWPROPOSAL/finances/Grenoble internal finances.txt b/NEWPROPOSAL/finances/Grenoble internal finances.txt
new file mode 100644
index 0000000000000000000000000000000000000000..e69de29bb2d1d6434b8b29ae775ad8c2e48c5391
diff --git a/NEWPROPOSAL/finances/QuantERA_Call_2019_-_Financial_Form_Gdansk.xlsx b/NEWPROPOSAL/finances/QuantERA_Call_2019_-_Financial_Form_Gdansk.xlsx
deleted file mode 100644
index cee6ce8be04ac673793efdb3a5ca03e054ac9119..0000000000000000000000000000000000000000
Binary files a/NEWPROPOSAL/finances/QuantERA_Call_2019_-_Financial_Form_Gdansk.xlsx and /dev/null differ
diff --git a/NEWPROPOSAL/finances/QuantERA_Call_2019_-_Financial_Form_Grenoble.xlsx b/NEWPROPOSAL/finances/QuantERA_Call_2019_-_Financial_Form_Grenoble.xlsx
new file mode 100644
index 0000000000000000000000000000000000000000..37c6d9471464a39c09f7080fae51cbaa0837c93d
Binary files /dev/null and b/NEWPROPOSAL/finances/QuantERA_Call_2019_-_Financial_Form_Grenoble.xlsx differ