Using a unique panel survey of enterprises, we examine the relationship between four categories of formalization and firm productivity. We carry out one- and two-step productivity estimations whose robustness we check with matching and doubly robust estimators. The only formalization category...