Since we know when a syllogism can be formed and how its terms must be related, it is clear when refutation will be possible and when impossible. A refutation is possible whether everything is conceded, or the answers alternate (one, I mean, being affirmative, the other negative). For as has been shown a syllogism is possible whether the terms are related in affirmative propositions or one proposition is affirmative, the other negative: consequently, if what is laid down is contrary to the conclusion, a refutation must take place: for a refutation is a syllogism which establishes the contradictory. But if nothing is conceded, a refutation is impossible: for no syllogism is possible (as we saw) when all the terms are negative: therefore no refutation is possible. For if a refutation were possible, a syllogism must be possible; although if a syllogism is possible it does not follow that a refutation is possible. Similarly refutation is not possible if nothing is conceded universally: since the fields of refutation and syllogism are defined in the same way.