In my opinion, it is obvious that the issue does not exceed a certain amount of coins. New coins from the leasing program are received by users and coins that the project buys are burned.
EDC has the profit from the work of the platform and it bought tokens from this profit and burned them.