Slight correction.

If they buy back x, it strengthens shares by 1/(1-x)

So if they buy back 50%, remaining shareholders have 2x ownership.