higher bound for the
stack less bound bound stack of stack
stack over ___