Assertion list for term "keep the risk".

Results from Ascent++: 1
concrete CapableOfkeep the risk 0.34