higher bound on height
stack overflow proof stack
✕
___
less
proof
age
wise
up
ward
full
ache
↺ Reset