Division propagation