.

this divergence has to be invalidated.