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