A General Equilibrium Model of Formalization in a Dualistic