I don't see any evidence that Microstrategy develops software for "three letter agencies."
Even if. Business is business, I would say. MicroStrategy is still a public company.