Assertion list
sided limit (subgroup of limit ) → HasProperty
Results from Ascent++: 1
sided limit → HasProperty → equal 0.68