diff --git a/src/main/resources/edu/rpi/rair/goal_management_2.clj b/src/main/resources/edu/rpi/rair/goal_management_2.clj
index bbdc345..5b68155 100644
--- a/src/main/resources/edu/rpi/rair/goal_management_2.clj
+++ b/src/main/resources/edu/rpi/rair/goal_management_2.clj
@@ -16,7 +16,7 @@
                   (not (open (door room1)))
 
                   (forall [?x ?y ?room] (implies (and (and (in ?x ?room) (in ?y ?room)) (not (= ?x ?y))) (sameroom ?x ?y)))
-                  (forall [?x ?y] (exists ?room (implies (sameroom ?x ?y) (and (in ?x ?room) (in ?y ?room)) )) )
+                  (forall [?x ?y] (implies (sameroom ?x ?y) (exists ?room (and (in ?x ?room) (in ?y ?room)))))
                   ]
 
  :goal           []