Actually no, I looked into the matter and there is quite an interesting situation there. If the Premier League imposes a points deduction on City (for example, 90 points) that results in the club's relegation, the Championship will be obliged to accept City. If City were to be directly expelled from the Premier League, the Championship would have no obligations toward City (nor would the other professional leagues). Therefore, if the professional leagues adopt the Premier League's decision and align themselves with it, City will have to start in the National League (I don't know the exact name - I think it's the fifth division or something like that). Yes, it sounds fantastic, but why not dream?
Ah you're right. I looked it up myself. Relegated teams must be accepted into the Championship but an expulsion then leaves City at the whims of EFL (which governs all the professional leagues below Prem). Very interesting scenario!
National Leagues, yeah, fourth division after League Two. Love this dream, I won't mind putting $10 on it if you see such a market, let me know haha.

- the face of a postman from Sunday League acting as a goalkeeper who realizes he’ll be facing Haaland’s shots today.
Yes, I wouldn't mind spending 10 dollars on something like that either!

For now, judging by Polymarket, the probability of City being stripped of their titles is close to 30%, while the probability of relegation is just 18% - a figure that encompasses both standard relegation due to a points deduction and outright expulsion.
I don't even know yet which outcome is worth betting on, if I find an interesting market, I'll definitely tag you
