This pantomime places Cinderella in the middle of the French Revolution, with real historical characters all round her – except, of course, for herself, Buttons, and the wicked step-mother – and it doesn’t make her live happily ever afterwards. But still, one hopes, children will like it.