Text this: The journal of symbolic logic.