I don't think it is clear yet if these were non-deductible contributions, but that is an extra point to be looked at if they were.
