+ propagation rules and local rule application