Assertion list for term "exacted in such cases".

Results from Ascent++: 1
proof ReceivesActionexacted in such cases 0.16