Assertion list for term "proven useful".

Results from Ascent++: 1
approach CapableOfproven useful 0.29