  env/FactoredEnv
   (goal-map [] 
     (into {} 
-      (apply concat 
+      (apply concat
+        [[['atx] width] [['aty] height]]
         (for [[pass _ [dx dy]] passengers] 
           [[['passx pass] dx] [['passy pass] dy]])))))
 

                                     [(str "(passx " n " x" sx ")")
                                      (str "(passy " n " y" sy ")")])))
         "  )
           (:goal (and "
              (util/str-join " " (apply concat
                                   (for [[n _ [dx dy]] passengers]
                                     [(str "(passx " n " x" dx ")")

              (util/str-join " " (for [[n [sx sy]] passengers]
                                   (str "(passat " n " " sx "-" sy ")")))
              ")
           (:goal (and " (str "(at " width "-" height ")")
              (util/str-join " " (for [[n _ [dx dy]] passengers]
                                   (str "(passat " n " " dx "-" dy ")")))
              ")))"]))))
