Assertion list for term "signed at the back".

Results from Ascent++: 2
clock ReceivesActionsigned at the back 0.35
envelope CapableOfsigned at the back 0.28