higher bound for the
stack less than zero bound stack
size bound zero ___