Assertion list for term "never more important".

Results from Ascent++: 1
proof HasPropertynever more important 0.30