Assertion list for term "change to the orderer's disadvantage".

Results from Ascent++: 1
proof CapableOfchange to the orderer's disadvantage 0.25