added WFpropagate