diff --git a/Model/model.q b/Model/model.q
index daaead1..57d61eb 100644
--- a/Model/model.q
+++ b/Model/model.q
@@ -7,11 +7,6 @@
 
 /*
 
-*/
-(not Host1.Closed and not Host2.Closed) --> Host1.Established
-
-/*
-
 */
 A[] not deadlock