If $PUMP is a fair play, I’d argue it’s significantly undervalued at the moment. It’s generating strong revenue despite a weak trench market, and in my view we’re close to the bottom. A reversal around September–October looks likely. A $10B valuation feels conservative.