Assertion list for term "double the hardness".

Results from Ascent++: 1
magic CapableOfdouble the hardness 0.42