I re-read your posts, and If I understand them,
you are saying that the equally likely cases are the numbers of reds and greens.
5 red 0 green = same likelihood as
4 red 1 green = same likelihood as
3 red 2 green = same likelihood as
2 red 3 green
Like that defines 4 equally likely cases.
Is that what you're saying?
Otherwise I don't understand where we differ.
yep! same probability... cuz there is no random distribution. I'll post this in that topic so we can continue this discussion there not here