Assertion list for term "never reaches the temperature".

Results from Ascent++: 1
floor CapableOfnever reaches the temperature 0.16