         [:tr [:td [:b (str (last (string/split (.getName (:type condition)) #"\.")))]]])
       [:tr [:td (h/h (str (:constraints condition)))]]])))
 
-(defn rhs-to-html
+(defn- rhs-to-html
   "Returns an HTML-based description of the right-hand side of a production.."
   [{:keys [name rhs] :as production}]
  (h/html [:table  {:border "0" :cellborder "0"}

          condition-id (get types-to-ids insertion)]
      [(hash production) condition-id {:style :dashed}])))


(defn show-logic! 
  [& sources]
  (let [productions (get-productions sources)]
    
    (->
     (concat
      (mapcat production-to-dot productions)
      (insertions-to-dot productions))
     vec ; dorothy assumes a vector.
     dot/digraph
     dot/dot
     dot/show!
     )))
     dot/dot
     dot/show!)))

(def ^:private operators #{:and :or :not})

(defn- condition-to-id-map
  "Returns a map associating conditions to node ids"
