And Juve should be relegated if they win the lottery, since they clearly must have fixed it.
That's a really good idea. We'll make it a package deal, just like when you want to buy cable you can't just choose the good channels, they make you pay for other garbage too.
Remain in Serie A + 1 non-EU by lottery
Relegate to Serie B + 3 non-EU
Relegate to Serie C + 7 non-EU
To incentivize properly I also recommend the logical counterpart:
Give up 5 non-EU + lottery to promote to Serie A, regardless of position in Serie B