diff --git a/Model/model.q b/Model/model.q
index 57d61eb..53e0c72 100644
--- a/Model/model.q
+++ b/Model/model.q
@@ -18,4 +18,4 @@ E<> (Host1.Established and Host2.Established)
 /*
 
 */
-A[] not (Host1.Closed and Host2.Established)
+A[] not ((Host1.Closed or Host1.Listen or Host1.SynSent) and Host2.Established)