Assertion list for term "done without any trembling".

Results from Ascent++: 1
concrete ReceivesActiondone without any trembling 0.38