higher bound on height
stack top most stack able head
line✕ ___
↺ Reset