 Suppose that we grant that an inductive argument such as S (or S*) can support an inductive inference X without vicious circularity. Still, a possible objection is that the argument simply does not provide a full justification of X. After all, less sane inference rules such as counterinduction can support themselves in a similar fashion. The counterinductive rule is CI: