So how do these huge buybacks actually work? Like, do they just buy them in the open market? Or is it all OTC?