Text this: Journal of Formalized Reasoning