Title: The economics of formalization