higher bound on the
stack less ion less ___