diff --git a/protocol/protocol.pdf b/protocol/protocol.pdf
index 4551142b..a7bc7a94 100644
Binary files a/protocol/protocol.pdf and b/protocol/protocol.pdf differ
diff --git a/protocol/protocol.tex b/protocol/protocol.tex
index dfb7ef49..c8bae8d4 100644
--- a/protocol/protocol.tex
+++ b/protocol/protocol.tex
@@ -1138,6 +1138,9 @@ for each $i \in \setofOld$ \changed{$\mid$ $\vOld{i} \neq 0$}:
 $\treepath{i}$ must be a valid \merklePath of depth $\MerkleDepth$, as defined in
 \crossref{merkle}, from $\Commitment(\cOld{i})$ to \noteCommitmentTree root $\rt$.
 
+\textbf{Note:} Merkle path validity covers both conditions 1. (a) and 1. (d) of the NP statement
+given in section 4.2 of \cite{ZerocashOakland}.
+
 \subparagraph{Balance}
 
 $\changed{\vpubOld\; +} \vsum{i=1}{\NOld} \vOld{i} = \vpubNew + \vsum{i=1}{\NNew} \vNew{i}$.