Hello

I have a retired (disabled) former federal employee that received a CSA1099R with Dist code 3 and box 5 has $3500. Is it accurate to say the $3500 is post-tax money and should be excluded from Box 2 Taxable Amount? (BTW Box 2 is "unknown" on the form)

Thank you in advance