Text this: Formalism and Empiricism: On the Value of Thinking Mathematically About Social Grouping and Corporateness