Checked, MicroStrategy indeed did not buy, stay vigilant