tested ending explicit propagation