Is the buyback separate from the shares retired or are they one in the same? I personally think that it separate. Does anyone know for sure?