Assertion list for term "multiply the difference".

Results from Ascent++: 1
amplifier CapableOfmultiply the difference 0.25