They are just being returned to the treasury so they are available for purchases like this. That is what I’ve always assumed. Since it brings value that shouldn’t be a problem.