The PUMP market is in a state of lament, can we short it? $PUMP