higher bound on the
stack in a stack less on ___