Thanks for the benefit of your expertise, Alan. This is the only place where I’ve been able to get a reasonably decisive answer to this question. I’ll keep watching for more definitive regs. In the meantime, the after-tax contributions will reside on Form 8606, as you recommended.