DIVERGES_REDUNDANTLY