Text this: Formalization as a Tool for Empirical Research