Ascent++
Search
total rise
subgroup of
rise
,
1
assertions
IsA
1
the height
0.68