Can $CETUS be shorted?