There's actually a rival kingdom of Jollywood that's meant for geniuses and a counterpart of Grumpy is in that kingdom and he's actually smarter than Doc.
There's actually a rival kingdom of Jollywood that's meant for geniuses and a counterpart of Grumpy is in that kingdom and he's actually smarter than Doc.