Is the DEFC (Defined contribution) in box 14 on a W2 form the amount that is what I put down in answer to "Did you contribute to a qualified retirement plan in 2017?"