higher bound for the

stack in its stack less stack stack✕