Text this: The bulletin of symbolic logic