Subtract it from the lower social security costs
It seems prudent to just treat all monies paid to the federal government as taxes, and all services/products received from the federal government as a whole when accounting for it as an individual taxpayer.