Right, they are not deductible on Fed taxes for a few years, but TT suggests they still be entered in case one's state allows them.
