    (util/print-debug 2 "AC" sp child-sp)
    (when (canonical? sp)
      (schedule-subsumption! (sp-ts sp) (sp-ts child-sp))
-     (publish! all-child-ps child-sp)
-     (when *propagate-subusmption* #_ ::TODO) ;; TODO!!
-     )   
+     (publish! all-child-ps child-sp))   
    (if (and (get-output-set sp) (get-output-set child-sp))
     (publish-sp-child! sp child-sp)
     (do (summaries/connect! sp (sp-ts child-sp)) 

                                  Updates cost if up? and child must be held before publishing.")

  (publish-sp-child!   [s o] "Internal. O is a subproblem with output.  s must have output too.")
  (get-all-children [s] "Internal.  Get children, including unpublished ones.")

  (subsuming-sps       [s] "subproblems with same name, >= inp-set") 
  (add-subsuming-sp!   [s subsuming-sp]) 

;; TODO: tests ! 

;;;;; Subsumption
;; TODO: Figure out why subsumption isn't more helpful.
;; TODO: children wait on one (or more) subsumption parents.
;; TODO: wait on subsumption parent(s)?

;;;;; Pessimistic
