Letting Zinchenko go before agreeing a deal for an alternative is such an amateur move and would not be made by us, which leads me to believe this is already done and the delay is to allow Brighton to secure a replacement (Probably Tavares from Arsenal, which City had a hand in pushing Arsenal...