Text this: Formalization and epistemology /