In a reductio, what contradicts “No C is A”?The Second Figure: Conditions of Validity and Four Productive MoodsAll C are ANo A is CSome C are not ASome C are A