knownReactives
Propagation