higher bound for the

stack less bound less stack greater

stack stack stack stack head✕