Assertion list for term "given in above article".

Results from Ascent++: 1
circuit ReceivesActiongiven in above article 0.28