Assertion list for term "proven in order".

Results from Ascent++: 1
negligence ReceivesActionproven in order 0.16