Who is Humpy Dumpy"? asked the Mice.