Reasoning:

• 2-nodes and 3-nodes can always hold one more item.

• The only nodes that can’t hold one more item are 4-nodes.

• Items are only pushed up to ancestors.

• If we encounter an ancestor on the way down that won’t be able to accept an item we can transform it into 2-nodes that can before the insertion is actually performed.