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