Where do I deduct my contributions to my traditional IRA that is within my 401k?