Text this: Journal of Symbolic Logic /