Formalization and innovation revisited