harry (65) retired this year and began taking distributions from his 401(k). contributions to his 401(k) were made over the course of his career through a combination of before-tax contributions, after-tax contributions, and employer matching. how should harry determine the taxable amount of his distribution?