higher bound for the

stack of the stack stack bound stack✕