My husband is a teacher at a public school. Do I need to add in his pension contributions that are withdrawn from his paycheck? Or is this covered by the "DD" line on his W2?