higher bound on the

stack in a stack less on stack

stack top stack stack stack✕