Retirement tax questions

That's exactly the number Turbo Tax calculated. Thanks for showing the formula and math. Great job providing this impossible to find equation and the IRS source doc.