higher bound on the

stack less on less less stack stack

stack stack bound stack top✕