Text this: Journal Of Logic And Computation