do_propagate