When you want to short the pump, remember that what you are shorting is something that earns 1 billion a year, holds 2 billion in cash, yet only dares to spend a few sol to buy coins.