Assertion list for term "remain as the sum of the differences".

Results from Ascent++: 1
general CapableOfremain as the sum of the differences 0.25