The history of Tom Thumb