... be out since you're failing the necessary condition of that rule. ... re affirming the necessary of the rule Q--->K, so the rule ... . With K being in and affirming the necessary, Q can be in ... out, you're failing the sufficient which gives L the ability to be in ...