... think of this combo (cannot ... unless // group 4 ... group 3) as ... Group 3 (the without), you negate the sufficient term: A → B _becomes_ ... Group 4 (the cannot), you negate the necessary term: A → B ... , but you also need to negate both (which happens in the ...