Jack in the box, or, Harlequin little Tom Thumb and the three wise men of Gotham