diff --git a/gui/ns3.spdl b/gui/ns3.spdl
index 04846ea..edde4ab 100644
--- a/gui/ns3.spdl
+++ b/gui/ns3.spdl
@@ -19,6 +19,7 @@ protocol ns3(I,R)
 		claim(I,Secret,ni);
 		claim(I,Secret,nr);
 		claim(I,Alive);
+		claim(I,Weakagree);
 		claim(I,Commit,R,ni,nr);
 		claim(I,Niagree);
 		claim(I,Nisynch);
@@ -37,6 +38,7 @@ protocol ns3(I,R)
 		claim(R,Secret,ni);
 		claim(R,Secret,nr);
 		claim(R,Alive);
+		claim(R,Weakagree);
 		claim(R,Commit,I,ni,nr);
 		claim(R,Niagree);
 		claim(R,Nisynch);