What is the Cost of Formality? Experimentally estimating the demand for formalization.