higher bound on height
stack overflow proof line
✕
___
cast
up
red
break
casts
marks
ant
at
↺ Reset