higher bound for the
stack less bound less stack greater
stack over bind ___