... . Negation
4. logical structure(like A->B ... spot and then move on to comparing the logical structure ... is reversed, but the logic is still A-> ... not always a sufficiency indicator, it could be used ... simply as a premise indicator.
Hope ...