Text this: Journal of Logic and Analysis