At last Pinocchio ceases to be a puppet, and becomes a real boy