Precisely.
Why? Only $35 million of taxpayer money was wasted on this farce. Smith should start paying it back—out of his own pocket.