A mandatory deduction that funds the Social Security program…