In the reductio of a universal negative converse, which contradictory is assumed true?

Simple Conversion: Definition, Categorical Rules and Reductio