higher bound on height
stack overflow proof line at
✕
___
re
work
ones
top
rest
least
one
last
↺ Reset