higher bound on the
stack in bound stack less bound stack
than stack out size ___