Assertion list for term "negated into difference".

Results from Ascent++: 1
identity ReceivesActionnegated into difference 0.25