The journal of symbolic logic.