So, in real time, if the theory is correct, shares available to borrow become unavailable, because some MM/HF/BH located them, because they were naked, and then covers by buying shares in the dark pools (not raising PPS), even during otherwise nontrading hours, and once covered in the dark pool transaction, the shares are returned into the available to borrow bin again?