Part of this debate is arithmetic, true by construction. Part is genuinely contested. Separating the two makes the argument far easier to follow.