"He contributed twice after tax to an IRA"
That's the question; was that Allowed or not? You had to qualify for this step.
The "backdoor" simply is a Conversion. The entire IRA (or even, all funds in all IRA) can be converted. There is no limit on conversion.
"Level Up" is a gaming function, not a real life function.