Assertion list for term "paid at maturity".

Results from Ascent++: 2
principal ReceivesActionpaid at maturity 0.40
cash ReceivesActionpaid at maturity 0.29