Text this: Journal of logic and computation