Text this: The Journal of Symbolic Logic