... one with Qnot3 (therefore triggering Q-S). By doing this, we ... Qnot3 rule; the result is Q-X-S-Y (the X ... in between J (1) and Q (3) other than Y, but ... and R must go after Q, otherwise we would violate the ... conditional rule leaving us with Q-X-S-Y. This sequence ...