Decreasing-Diagrams-II.Decreasing_Diagrams_II_Aux