¹We have elided details related to over-allocation to simplify the explanation.