$HFT short selling him is a bad thing