diff --git a/gui/ns3.spdl b/gui/ns3.spdl
index ba0e0f8..2016c7a 100644
--- a/gui/ns3.spdl
+++ b/gui/ns3.spdl
@@ -2,12 +2,6 @@
  * Needham-Schroeder protocol
  */
 
-// PKI infrastructure
-
-const pk: Function;
-secret sk: Function;
-inversekeys (pk,sk);
-
 // The protocol description
 
 protocol ns3(I,R)
@@ -43,9 +37,3 @@ protocol ns3(I,R)
 	}
 }
 
-// An untrusted agent, with leaked information
-
-const Eve: Agent;
-untrusted Eve;
-compromised sk(Eve);
-