higher bound on the

stack in action queue queue queue

stack stack stack stack bound✕