They also get to sell the credits in a few years once the price has gone up, right?