Retirement tax questions

"pays down our mortgage"
Mortgage principal is not deductible, just interest.