verbose propagation