... understanding it is with an in out game. Lets give it a ... not picked, that item is out.
Rule: A ... /B. Or, in other words, B must be out. Now if I ... you /A (A is out), the sufficient condition is negated ... picked, we know B is out. When B is picked, ...