Division Propagation