... argument form because the existential quantifier precedes the universal quantifier. ... />
Form 1: Sufficient/Necessary (A → B + X is ... /A)
Form 3: Sufficient/Necessary Extension ( A → B → C ... 1: Reversing i.e. triggering the necessary ( A → B + X ...