 ;; TODO: tests ! 
 
 ;;;;; Subsumption
-;; TODO: propagate subsumption links
+;; 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

   (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!!
     )   
   (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)) 

      (schedule-increase! (sp-ts s)))    
    (publish! child-ps c))

  (add-all-child-watcher! [s w] (subscribe! all-child-ps w))

    
  (subsuming-sps [s] (keys subsuming-sp-set))
