Assertion list for term "differ in the order of their summands".

Results from Ascent++: 1
sum CapableOfdiffer in the order of their summands 0.25