"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.