The paper talks about how disconnecting formal structures and theoretical content in economic models can cause problems. Connecting formal and verbal content with clear interpretations can help improve mathematical economic theories. For example, Arrow and Debreu showed how including free goods in their proof of general equilibrium existence can be interpreted in a meaningful way.