diff --git a/spdl/gong-nonce.spdl b/spdl/gong-nonce.spdl
index 2b35cc7..3670288 100644
--- a/spdl/gong-nonce.spdl
+++ b/spdl/gong-nonce.spdl
@@ -18,6 +18,7 @@ protocol gongnonce(I,R,S)
 		claim_6 (I, Secret, ki);
 		claim_7 (I, Secret, kr);
 		claim_8 (I, Nisynch);
+		claim_9 (I, Niagree);
 	}	
 	
 	role R
@@ -31,9 +32,10 @@ protocol gongnonce(I,R,S)
 		send_2 (R,S, I,R, nr, { R,S,R, kr, I,ni }k(R,S));
 		read_5 (S,R, { S,R,I, ki, R, nr }k(R,S) );
 
-		claim_9 (R, Secret, ki);
-		claim_10 (R, Secret, kr);
-		claim_11 (R, Nisynch);
+		claim_10 (R, Secret, ki);
+		claim_11 (R, Secret, kr);
+		claim_12 (R, Nisynch);
+		claim_13 (R, Niagree);
 	}
 
 	role S