But isn't Pinocchio's nose a non-zero length to begin with?