higher bound on the

stack in a stack less bound stack