higher bound on height
of stack tops✕ ___
↺ Reset