I made a market for whether Microsoft will file a lawsuit (against any target, OpenAI, its board, Sam, etc): https://manifold.markets/Ziddletwix/will-microsoft-fire-any-lawsuit-ove?r=WmlkZGxldHdpeA

Is it sufficient if he tweets his intention or do we need to see something formal?

@marketwise if he sues, then it counts. If he doesnt sue, then it doesnt count