Text this: Journal of automated reasoning