Interesting observations on the origins of Pinocchio... https://www.historydefined.net/original-pinocchio/