Notes:
- I'd like to borrow from two different papers for style considerations: the original GMT paper, and my dad's essay.
- The introduction should condense what's on the current [Introduction] page, and should also include more mathematical substance.
- I'd like to divide the exposition into sections + subsections; the introduction should refer to the various sections
- The main body of the work should have, in addition to its current PatternLanguage form, a linear exposition order.
- The linear exposition order should introduce concepts gradually, so that they seem natural to most readers when read in order.
- The arc I'd like to follow for the linear exposition:
- an introduction to proof-finding in this context, for a reader who's already expert in finding proofs in other contexts (e.g., a mathematician)
- develop into showing the mathematical reader what they'd need to do to transplant their proof-finding expertise into the new context.