I don’t really know how it works, but miners would still sell coins to CEX as I understand