propagation and pruning