higher bound for the

stack less than bound stack able

stack top able stack✕