update possibly_propagate for simplicity