Didn’t taxpayers have to pay for it?