Yeah, I haven’t dug into the numbers to know. Which option makes more money for the government (and therefore the taxpayer, sort of) - a profit sharing agreement, or a share of the company (which, as with all publicly traded companies, is a profit sharing agreement that sometimes happens through dividends, and sometimes happens through stock sales).