...
Form 1: Sufficient/Necessary (A → B + X is ... A)
Form 3: Sufficient/Necessary Extension ( A → B → ... Reversing i.e. triggering the necessary ( A → B + ... br />
Form 2: Negating i.e. negating the sufficient ( A ... UQ has to be present in the chain.
...