So, the U.S. government owns 10% of a publicly traded company. Isn’t that one of those isms we hear about from the repugnant republicans?