Interpreting Pinocchio