it's time to short $MINA