diff --git a/protocol/protocol.tex b/protocol/protocol.tex
index d027201f..2e66bac9 100644
--- a/protocol/protocol.tex
+++ b/protocol/protocol.tex
@@ -264,6 +264,7 @@ electronic commerce and payment, financial privacy, proof of work, zero knowledg
 \newcommand{\SpendStatement}{\titleterm{Spend Statement}}
 \newcommand{\SpendProof}{\term{Spend proof}}
 \newcommand{\statement}{\term{statement}}
+\newcommand{\ZkSNARKStatements}{\titleterm{Zk-SNARK Statements}}
 \newcommand{\zeroKnowledgeProof}{\term{zero-knowledge proof}}
 \newcommand{\provingSystem}{\term{proving system}}
 \newcommand{\provingSystems}{\term{proving systems}}
@@ -2266,7 +2267,10 @@ into the \blockchain, appends to the \noteCommitmentTree with all constituent
 attempts to add a \nullifier to the \nullifierSet that already exists in the set.
 
 \introsection
-\nsubsection{\Sprout \JoinSplitStatement} \label{sproutstatement}
+
+\nsubsection{\ZkSNARKStatements} \label{snarkstatements}
+
+\nsubsubsection{\Sprout \JoinSplitStatement} \label{sproutstatement}
 
 A valid instance of $\ProofSproutJoinSplit$ assures that given a \term{primary input}:
 
@@ -2355,7 +2359,7 @@ For details of the form and encoding of proofs, see \crossref{phgr}.
 
 \sapling{
 \introsection
-\nsubsection{\Sapling \JoinSplitStatement} \label{saplingstatement}
+\nsubsubsection{\Sapling \SpendStatement} \label{saplingstatement}
 
 A valid instance of $\ProofSaplingSpend$ assures that given a \term{primary input}: