“Concerned about MicroStrategy’s involvement in Defendant Saylor’s fraudulent scheme to avoid District taxes, in or about 2014, MicroStrategy’s then-Chief Financial Officer undertook a count of the number of days that Defendant Saylor spent in Florida as compared to the District and found that because Saylor spent the majority of each year in the District, MicroStrategy could not justify misreporting Saylor’s residency to federal tax official,” the complaint said.