Symmetric_decreasing_rearrangement loading ...