Assertion list for term "never is unachievable".

Results from Ascent++: 1
zero CapableOfnever is unachievable 0.16