[derf_]

> ... the government can buy the steel for $50 instead of $100.

And also lose $50 of tax revenue. I do not see how the government is any better off here.

[undersuit]

$50 of gross revenue discounted is not $50 of tax revenue lost.