propagation set