Sort:  

Yes, when you pay premium, it's used to buy back Leo from the market and then it's permanently stored in the Leo Dex pool.

Interesting. Just getting to know that.