Assertion list for term "work out for cardinals".

Results from Ascent++: 1
newton CapableOfwork out for cardinals 0.25