My father’s logic is if he did not purchase a home, the $10,000 would still be locked up in the Roth IRA. But he did use the IRS tax exception to buy a house and by law he had to use the $10,000 towards the purchase, so it is no longer available to pay for education and therefore should not be included in “Untaxed portions of IRA distributions and pensions”.