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 that appears to be significantly associated with productivity is …