Actually, he paid for it. The government is an employer and pays just as other employers do.