$PIPPIN is ready to cut losses. Once it hits 0.37, many players' margins will be raised, and hedging will not be possible (I guess many people don't know this rule). This time, the short squeeze has truly opened my eyes. Amazing.