P is in the sufficient, so let's start there. ... out, the sufficient triggers. When the sufficient triggers, the necessary must follow, forcing ... to be in. That's necessary to prevent them from both ... . When P is in, the sufficient fails and the rule goes ...