What is the Cost of Formality? Experimentally Estimating the Demand for Formalization