Assertion list for term "provided in order".

Results from Ascent++: 1
cathode ReceivesActionprovided in order 0.38