build propagation rules!