MESON Chess Problem Database

Problem Display
PID: 40780 (8/4PKQ1/p1p1rP1P/P3k2r/7N/1NpR1BP1/nPR3Pb/4B1n1 w - - 0 1)

Butcher, FG

The Observer, 1959

(First published on Sun Aug 16 1959)

8/4PKQ1/p1p1rP1P/P3k2r/7N/1NpR1BP1/nPR3Pb/4B1n1

#2

15 + 9

136 Problem Observer 1972
17397 Ling Notebooks 2023

SOLUTION

  • SOUND
  • Sets
    • 1...Rxh4
      • 2.Qg5#
    • 1...Rf5
      • 2.Sg6#
    • 1...Rg5
      • 2.Qxg5#
    • 1...Rxh6
      • 2.Qg5#
    • 1...Rd6
      • 2.Re3#
    • 1...Rxf6+
      • 2.Qxf6#
    • 1...Rxe7+
      • 2.fxe7#
    • 1...Bxg3
      • 2.Bxg3#
      • 2.Qxg3#
    • 1...Se2
      • 2.Rxe2#
    • 1...Sxf3
      • 2.Re2#
    • 1...Sh3
      • 2.Re2#
    • 1...Sc1
      • 2.Bxc3#
    • 1...Sb4
      • 2.Bxc3#
    • 1...cxb2
      • 2.Rc5#
    • 1...c5
      • 2.Rd5#
  • Tries
    • 1.Ke8?
      • 1...Rxe7+
        • 2.Qxe7#
      • 1...Rxh4
        • 2.Qg5#
      • 1...Rxh6
        • 2.Qg5#
      • 1...Bxg3
        • 2.Bxg3#
      • 1...Sxf3
        • 2.Re2#
      • 1...cxb2
        • 2.Rc5#
      • 1...Rd6
        • 2.Re3#
      • 1...Rf5
        • 2.Sg6#
      • 1...Rg5
        • 2.Qxg5#
      • 1...Se2
        • 2.Rxe2#
      • 1...Sh3
        • 2.Re2#
      • 1...Sc1
        • 2.Bxc3#
      • 1...Sb4
        • 2.Bxc3#
      • 1...c5
        • 2.Rd5#
      • 1...Rxf6!
    • 1.Kf8?
      • 1...Rxh4
        • 2.Qg5#
      • 1...Rxh6
        • 2.Qg5#
      • 1...Rxe7
        • 2.Qxe7#
      • 1...Bxg3
        • 2.Bxg3#
      • 1...Sxf3
        • 2.Re2#
      • 1...cxb2
        • 2.Rc5#
      • 1...Rd6
        • 2.Re3#
      • 1...Rf5
        • 2.Sg6#
      • 1...Rg5
        • 2.Qxg5#
      • 1...Se2
        • 2.Rxe2#
      • 1...Sh3
        • 2.Re2#
      • 1...Sc1
        • 2.Bxc3#
      • 1...Sb4
        • 2.Bxc3#
      • 1...c5
        • 2.Rd5#
      • 1...Rxf6+!
    • 1.Sa1?
      • 1...Rxf6+
        • 2.Qxf6#
      • 1...Rxe7+
        • 2.fxe7#
      • 1...Rxh4
        • 2.Qg5#
      • 1...Rxh6
        • 2.Qg5#
      • 1...Bxg3
        • 2.Bxg3#
        • 2.Qxg3#
      • 1...Sxf3
        • 2.Re2#
      • 1...cxb2
        • 2.Rc5#
      • 1...Rf5
        • 2.Sg6#
      • 1...Rg5
        • 2.Qxg5#
      • 1...Se2
        • 2.Rxe2#
      • 1...Sh3
        • 2.Re2#
      • 1...Sc1
        • 2.Bxc3#
      • 1...Sb4
        • 2.Bxc3#
      • 1...c5
        • 2.Rd5#
      • 1...Rd6!
    • 1.Sc1?
      • 1...Rxf6+
        • 2.Qxf6#
      • 1...Rxe7+
        • 2.fxe7#
      • 1...Rxh4
        • 2.Qg5#
      • 1...Rxh6
        • 2.Qg5#
      • 1...Bxg3
        • 2.Bxg3#
        • 2.Qxg3#
      • 1...Sxf3
        • 2.Re2#
      • 1...Sxc1
        • 2.Bxc3#
      • 1...cxb2
        • 2.Rc5#
      • 1...Rf5
        • 2.Sg6#
      • 1...Rg5
        • 2.Qxg5#
      • 1...Se2
        • 2.Rxe2#
      • 1...Sh3
        • 2.Re2#
      • 1...Sb4
        • 2.Bxc3#
      • 1...c5
        • 2.Rd5#
      • 1...Rd6!
    • 1.Sd2?
      • threat
        • 2.Sc4#
      • 1...Rxf6+
        • 2.Qxf6#
      • 1...Rxe7+
        • 2.fxe7#
      • 1...Rxh4
        • 2.Qg5#
      • 1...Bxg3
        • 2.Bxg3#
        • 2.Qxg3#
      • 1...cxd2
        • 2.Rc5#
      • 1...Sxf3!
    • 1.Sc5?
      • threat
        • 2.Sd7#
      • 1...Rxf6+
        • 2.Qxf6#
      • 1...Rxe7+
        • 2.fxe7#
      • 1...Rxh4
        • 2.Qg5#
      • 1...Bxg3
        • 2.Bxg3#
        • 2.Qxg3#
      • 1...Sxf3
        • 2.Re2#
      • 1...Rd6!
    • 1.Bxc6?
      • 1...Rxf6+
        • 2.Qxf6#
      • 1...Rxe7+
        • 2.fxe7#
      • 1...Rxh4
        • 2.Qg5#
      • 1...Rxh6
        • 2.Qg5#
      • 1...Bxg3
        • 2.Bxg3#
        • 2.Qxg3#
      • 1...cxb2
        • 2.Rc5#
      • 1...Rd6
        • 2.Re3#
      • 1...Rf5
        • 2.Sg6#
      • 1...Rg5
        • 2.Qxg5#
      • 1...Se2
        • 2.Rxe2#
      • 1...Sf3
        • 2.Re2#
      • 1...Sh3
        • 2.Re2#
      • 1...Sc1
        • 2.Bxc3#
      • 1...Sb4
        • 2.Bxc3#
      • 1...Rxc6!
    • 1.Rcd2?
      • threat
        • 2.Re3#
      • 1...Rxf6+
        • 2.Qxf6#
      • 1...Rxe7+
        • 2.fxe7#
      • 1...Rxh4
        • 2.Qg5#
      • 1...Bxg3
        • 2.Bxg3#
        • 2.Qxg3#
      • 1...cxd2!
    • 1.Rd1?
      • 1...Rxf6+
        • 2.Qxf6#
      • 1...Rxe7+
        • 2.fxe7#
      • 1...Rxh4
        • 2.Qg5#
      • 1...Rxh6
        • 2.Qg5#
      • 1...Bxg3
        • 2.Bxg3#
        • 2.Qxg3#
      • 1...Sxf3
        • 2.Re2#
      • 1...cxb2
        • 2.Rc5#
      • 1...Rf5
        • 2.Sg6#
      • 1...Rg5
        • 2.Qxg5#
      • 1...Se2
        • 2.Rxe2#
      • 1...Sh3
        • 2.Re2#
      • 1...Sc1
        • 2.Bxc3#
      • 1...Sb4
        • 2.Bxc3#
      • 1...c5
        • 2.Rd5#
      • 1...Rd6!
    • 1.Rd7?
      • 1...Rxf6+
        • 2.Qxf6#
      • 1...Rxe7+
        • 2.fxe7#
      • 1...Rxh4
        • 2.Qg5#
      • 1...Rxh6
        • 2.Qg5#
      • 1...Bxg3
        • 2.Bxg3#
        • 2.Qxg3#
      • 1...Sxf3
        • 2.Re2#
      • 1...cxb2
        • 2.Rc5#
      • 1...Rf5
        • 2.Sg6#
      • 1...Rg5
        • 2.Qxg5#
      • 1...Se2
        • 2.Rxe2#
      • 1...Sh3
        • 2.Re2#
      • 1...Sc1
        • 2.Bxc3#
      • 1...Sb4
        • 2.Bxc3#
      • 1...c5
        • 2.Rd5#
      • 1...Rd6!
    • 1.Rd8?
      • 1...Rxf6+
        • 2.Qxf6#
      • 1...Rxe7+
        • 2.fxe7#
      • 1...Rxh4
        • 2.Qg5#
      • 1...Rxh6
        • 2.Qg5#
      • 1...Bxg3
        • 2.Bxg3#
        • 2.Qxg3#
      • 1...Sxf3
        • 2.Re2#
      • 1...cxb2
        • 2.Rc5#
      • 1...Rf5
        • 2.Sg6#
      • 1...Rg5
        • 2.Qxg5#
      • 1...Se2
        • 2.Rxe2#
      • 1...Sh3
        • 2.Re2#
      • 1...Sc1
        • 2.Bxc3#
      • 1...Sb4
        • 2.Bxc3#
      • 1...c5
        • 2.Rd5#
      • 1...Rd6!
    • 1.Qg6?
      • threat
        • 2.Qe4#
        • 2.Qxh5#
      • 1...Rxf6+
        • 2.Qxf6#
      • 1...Rxh4
        • 2.Qg5#
      • 1...Rxh6
        • 2.Qe4#
        • 2.Qf5#
        • 2.Qg5#
      • 1...Bxg3
        • 2.Bxg3#
        • 2.Qe4#
        • 2.Qxg3#
      • 1...Sxf3
        • 2.Sxf3#
        • 2.Re2#
      • 1...Rf5
        • 2.Qxf5#
      • 1...Rg5
        • 2.Qe4#
        • 2.Qxg5#
      • 1...Sh3
        • 2.Re2#
        • 2.Qe4#
      • 1...Rxe7+!
    • 1.h7?
      • 1...Rxf6+
        • 2.Qxf6#
      • 1...Rxe7+
        • 2.fxe7#
      • 1...Rxh4
        • 2.Qg5#
      • 1...Bxg3
        • 2.Bxg3#
        • 2.Qxg3#
      • 1...Sxf3
        • 2.Re2#
      • 1...cxb2
        • 2.Rc5#
      • 1...Rd6
        • 2.Re3#
      • 1...Rf5
        • 2.Sg6#
      • 1...Rg5
        • 2.Qxg5#
      • 1...Rh6
        • 2.Qg5#
      • 1...Se2
        • 2.Rxe2#
      • 1...Sh3
        • 2.Re2#
      • 1...Sc1
        • 2.Bxc3#
      • 1...Sb4
        • 2.Bxc3#
      • 1...c5
        • 2.Rd5#
      • 1...Rxh7!
    • 1.e8Q?
      • threat
        • 2.Qxe6#
      • 1...Re7+
        • 2.Qxe7#
        • 2.fxe7#
      • 1...Bxg3
        • 2.Bxg3#
        • 2.Qxg3#
      • 1...Rxe8!
    • 1.e8S?
      • threat
        • 2.Re3#
      • 1...Rxf6+
        • 2.Qxf6#
      • 1...Re7+
        • 2.fxe7#
      • 1...Rxh4
        • 2.Qg5#
      • 1...Bxg3
        • 2.Bxg3#
        • 2.Qxg3#
      • 1...Sxf3
        • 2.Re2#
      • 1...Rxe8!
    • 1.e8B?
      • 1...Rxf6+
        • 2.Qxf6#
      • 1...Re7+
        • 2.fxe7#
      • 1...Rxh4
        • 2.Qg5#
      • 1...Rxh6
        • 2.Qg5#
      • 1...Bxg3
        • 2.Bxg3#
        • 2.Qxg3#
      • 1...Sxf3
        • 2.Re2#
      • 1...cxb2
        • 2.Rc5#
      • 1...Rd6
        • 2.Re3#
      • 1...Rf5
        • 2.Sg6#
      • 1...Rg5
        • 2.Qxg5#
      • 1...Se2
        • 2.Rxe2#
      • 1...Sh3
        • 2.Re2#
      • 1...Sc1
        • 2.Bxc3#
      • 1...Sb4
        • 2.Bxc3#
      • 1...c5
        • 2.Rd5#
      • 1...Rxe8!
    • 1.e8R?
      • threat
        • 2.Rxe6#
      • 1...Re7+
        • 2.Rxe7#
        • 2.fxe7#
      • 1...Rxh4
        • 2.Qg5#
      • 1...Bxg3
        • 2.Bxg3#
        • 2.Qxg3#
      • 1...Rxe8!
  • Keys
    • 1.Kg8!
      • 1...Rxh4
        • 2.Qg5#
      • 1...Rxh6
        • 2.Qg5#
      • 1...Rxf6
        • 2.e8Q#
        • 2.e8R#
      • 1...Rxe7
        • 2.Qxe7#
      • 1...Bxg3
        • 2.Bxg3#
      • 1...Sxf3
        • 2.Re2#
      • 1...cxb2
        • 2.Rc5#
      • 1...Rd6
        • 2.Re3#
      • 1...Rf5
        • 2.Sg6#
      • 1...Rg5
        • 2.Qxg5#
      • 1...Se2
        • 2.Rxe2#
      • 1...Sh3
        • 2.Re2#
      • 1...Sc1
        • 2.Bxc3#
      • 1...Sb4
        • 2.Bxc3#
      • 1...c5
        • 2.Rd5#

FEATURES

  • Static
    • TYPE = MUTATE
    • CHANGED MATES = 1
    • ADDED MATES = 1
    • REMOVED MATES = 1
  • Sets
    • R(f);N_GUARD,XS(I)::QAR2(O)
    • R(f);P_PINP(K),SBLOCK::S(I)
    • R(f);N_GUARD::QAR2(O),XR(f)
    • R(f);N_GUARD,XP(L)::QAR2(O)
    • R(i);SBLOCK::R(F)
    • R(i);CHECK,OGATE,P_SPINR(i),XP(K)::QAB1(O),XR(i)
    • R(i);CHECK,OGATE,XP(M)::QAB(O)+P(K),XR(i)
    • S(a);N_GUARD::R(C),XS(a)
    • S(a);N_GUARD,XB(G)::R(C)
    • S(a);N_GUARD::R(C)
    • S(b);N_GUARD::B(A),XP(d)
    • P(d);OGATE,XP(B)::R(C)
    • P(h);N_GUARD::R1(F)
  • Tries
    • Try
      • K(N);P_SPINP(M),S_FLIGHT
      • Vars
        • R(i);CHECK,OGATE,XP(M)::QAR2(O),XR(i)
        • R(f);N_GUARD,XS(I)::QAR2(O)
        • R(f);N_GUARD,XP(L)::QAR2(O)
        • B(c);OGATE,XP(H)::B(A),XB(c)
        • S(a);N_GUARD,XB(G)::R(C)
        • P(d);OGATE,XP(B)::R(C)
        • R(i);N_PINP(M),SBLOCK::R(F)
        • R(f);SBLOCK::S(I)
        • R(f);N_GUARD::QAR2(O),XR(f)
        • S(a);N_GUARD::R(C),XS(a)
        • S(a);N_GUARD::R(C)
        • S(b);N_GUARD::B(A),XP(d)
        • P(h);N_GUARD::R1(F)
      • Refutation
        • R(i);N_PINP(M),P_SPINR(i),XP(K)
    • Try
      • K(N);P-FLIGHT
      • Vars
        • R(f);N_GUARD,XS(I)::QAR2(O)
        • R(f);N_GUARD,XP(L)::QAR2(O)
        • R(i);OGATE,XP(M)::QAR2(O),XR(i)
        • B(c);OGATE,XP(H)::B(A),XB(c)
        • S(a);N_GUARD,XB(G)::R(C)
        • P(d);OGATE,XP(B)::R(C)
        • R(i);SBLOCK::R(F)
        • R(f);P_PINP(K),SBLOCK::S(I)
        • R(f);N_GUARD::QAR2(O),XR(f)
        • S(a);N_GUARD::R(C),XS(a)
        • S(a);N_GUARD::R(C)
        • S(b);N_GUARD::B(A),XP(d)
        • P(h);N_GUARD::R1(F)
      • Refutation
        • R(i);CHECK,P_SPINR(i),XP(K)
    • Try
      • S(E);
      • Vars
        • R(i);CHECK,OGATE,P_SPINR(i),XP(K)::QAB1(O),XR(i)
        • R(i);CHECK,OGATE,XP(M)::QAB(O)+P(K),XR(i)
        • R(f);N_GUARD,XS(I)::QAR2(O)
        • R(f);N_GUARD,XP(L)::QAR2(O)
        • S(a);N_GUARD,XB(G)::R(C)
        • P(d);OGATE,XP(B)::R(C)
        • R(f);P_PINP(K),SBLOCK::S(I)
        • R(f);N_GUARD::QAR2(O),XR(f)
        • S(a);N_GUARD::R(C),XS(a)
        • S(a);N_GUARD::R(C)
        • S(b);N_GUARD::B(A),XP(d)
        • P(h);N_GUARD::R1(F)
      • Refutation
        • R(i);
    • Try
      • S(E);
      • Vars
        • R(i);CHECK,OGATE,P_SPINR(i),XP(K)::QAB1(O),XR(i)
        • R(i);CHECK,OGATE,XP(M)::QAB(O)+P(K),XR(i)
        • R(f);N_GUARD,XS(I)::QAR2(O)
        • R(f);N_GUARD,XP(L)::QAR2(O)
        • S(a);N_GUARD,XB(G)::R(C)
        • S(b);N_GUARD,XS(E)::B(A),XP(d)
        • P(d);OGATE,XP(B)::R(C)
        • R(f);P_PINP(K),SBLOCK::S(I)
        • R(f);N_GUARD::QAR2(O),XR(f)
        • S(a);N_GUARD::R(C),XS(a)
        • S(a);N_GUARD::R(C)
        • S(b);N_GUARD::B(A),XP(d)
        • P(h);N_GUARD::R1(F)
      • Refutation
        • R(i);
    • Try
      • S(E);
      • Threat
        • S(E)
      • Vars
        • R(i);CHECK,OGATE,P_SPINR(i),XP(K)::QAB1(O),XR(i)
        • R(i);CHECK,OGATE,XP(M)::QAB(O)+P(K),XR(i)
        • R(f);N_GUARD,XS(I)::QAR2(O)
        • P(d);OGATE,XS(E)::R(C)
      • Refutation
        • S(a);XB(G)
    • Try
      • S(E);
      • Threat
        • S(E)
      • Vars
        • R(i);CHECK,OGATE,P_SPINR(i),XP(K)::QAB1(O),XR(i)
        • R(i);CHECK,OGATE,XP(M)::QAB(O)+P(K),XR(i)
        • R(f);N_GUARD,XS(I)::QAR2(O)
        • S(a);N_GUARD,XB(G)::R(C)
      • Refutation
        • R(i);
    • Try
      • B(G);XP(h)
      • Vars
        • R(i);CHECK,OGATE,P_SPINR(i),XP(K)::QAB1(O),XR(i)
        • R(i);CHECK,OGATE,XP(M)::QAB(O)+P(K),XR(i)
        • R(f);N_GUARD,XS(I)::QAR2(O)
        • R(f);N_GUARD,XP(L)::QAR2(O)
        • P(d);OGATE,XP(B)::R(C)
        • R(i);SBLOCK::R(F)
        • R(f);P_PINP(K),SBLOCK::S(I)
        • R(f);N_GUARD::QAR2(O),XR(f)
        • S(a);N_GUARD::R(C),XS(a)
        • S(a);N_GUARD::R(C)
        • S(b);N_GUARD::B(A),XP(d)
      • Refutation
        • R(i);XB(G)
    • Try
      • R(C);
      • Threat
        • R(F)
      • Vars
        • R(i);CHECK,OGATE,P_SPINR(i),XP(K)::QAB1(O),XR(i)
        • R(i);CHECK,OGATE,XP(M)::QAB(O)+P(K),XR(i)
        • R(f);N_GUARD,XS(I)::QAR2(O)
      • Refutation
        • P(d);XR(C)
    • Try
      • R(F);
      • Vars
        • R(i);CHECK,OGATE,P_SPINR(i),XP(K)::QAB1(O),XR(i)
        • R(i);CHECK,OGATE,XP(M)::QAB(O)+P(K),XR(i)
        • R(f);N_GUARD,XS(I)::QAR2(O)
        • R(f);N_GUARD,XP(L)::QAR2(O)
        • S(a);N_GUARD,XB(G)::R(C)
        • P(d);OGATE,XP(B)::R(C)
        • R(f);P_PINP(K),SBLOCK::S(I)
        • R(f);N_GUARD::QAR2(O),XR(f)
        • S(a);N_GUARD::R(C),XS(a)
        • S(a);N_GUARD::R(C)
        • S(b);N_GUARD::B(A),XP(d)
        • P(h);N_GUARD::R1(F)
      • Refutation
        • R(i);
    • Try
      • R(F);
      • Vars
        • R(i);CHECK,OGATE,P_SPINR(i),XP(K)::QAB1(O),XR(i)
        • R(i);CHECK,OGATE,XP(M)::QAB(O)+P(K),XR(i)
        • R(f);N_GUARD,XS(I)::QAR2(O)
        • R(f);N_GUARD,XP(L)::QAR2(O)
        • S(a);N_GUARD,XB(G)::R(C)
        • P(d);OGATE,XP(B)::R(C)
        • R(f);P_PINP(K),SBLOCK::S(I)
        • R(f);N_GUARD::QAR2(O),XR(f)
        • S(a);N_GUARD::R(C),XS(a)
        • S(a);N_GUARD::R(C)
        • S(b);N_GUARD::B(A),XP(d)
        • P(h);N_GUARD::R1(F)
      • Refutation
        • R(i);
    • Try
      • R(F);
      • Vars
        • R(i);CHECK,OGATE,P_SPINR(i),XP(K)::QAB1(O),XR(i)
        • R(i);CHECK,OGATE,XP(M)::QAB(O)+P(K),XR(i)
        • R(f);N_GUARD,XS(I)::QAR2(O)
        • R(f);N_GUARD,XP(L)::QAR2(O)
        • S(a);N_GUARD,XB(G)::R(C)
        • P(d);OGATE,XP(B)::R(C)
        • R(f);P_PINP(K),SBLOCK::S(I)
        • R(f);N_GUARD::QAR2(O),XR(f)
        • S(a);N_GUARD::R(C),XS(a)
        • S(a);N_GUARD::R(C)
        • S(b);N_GUARD::B(A),XP(d)
        • P(h);N_GUARD::R1(F)
      • Refutation
        • R(i);
    • Try
      • Q(O);
      • Threat
        • DUALS(2)
      • Vars
        • R(i);CHECK,OGATE,XP(K)::QAB1(O),XR(i)
        • R(f);N_GUARD,XS(I)::QAR2(O)
        • R(f);N_GUARD,P_PINP(K)::QAR1(O),XR(f)
      • Refutation
        • R(i);CHECK,XP(M)
    • Try
      • P(L);
      • Vars
        • R(i);CHECK,OGATE,P_SPINR(i),XP(K)::QAB1(O),XR(i)
        • R(i);CHECK,OGATE,XP(M)::QAB(O)+P(K),XR(i)
        • R(f);N_GUARD,XS(I)::QAR2(O)
        • S(a);N_GUARD,XB(G)::R(C)
        • P(d);OGATE,XP(B)::R(C)
        • R(i);SBLOCK::R(F)
        • R(f);P_PINP(K),SBLOCK::S(I)
        • R(f);N_GUARD::QAR2(O),XR(f)
        • R(f);N_GUARD::QAR2(O)
        • S(a);N_GUARD::R(C),XS(a)
        • S(a);N_GUARD::R(C)
        • S(b);N_GUARD::B(A),XP(d)
        • P(h);N_GUARD::R1(F)
      • Refutation
        • R(f);P_PINQ(O),XP(L)
    • Try
      • P(M);P_PINR(i)
      • Threat
        • QAR1(M),XR(i)
      • Refutation
        • R(i);N_SPINR(i),XQ(M)
    • Try
      • P(M);
      • Threat
        • R(F)
      • Vars
        • R(i);CHECK,OGATE,P_SPINR(i),XP(K)::QAB1(O),XR(i)
        • R(i);CHECK,OGATE::QAB(O)+P(K),XR(i)
        • R(f);N_GUARD,XS(I)::QAR2(O)
        • S(a);N_GUARD,XB(G)::R(C)
      • Refutation
        • R(i);XS(M)
    • Try
      • P(M);
      • Vars
        • R(i);CHECK,OGATE,P_SPINR(i),XP(K)::QAB1(O),XR(i)
        • R(i);CHECK,OGATE::QAB(O)+P(K),XR(i)
        • R(f);N_GUARD,XS(I)::QAR2(O)
        • R(f);N_GUARD,XP(L)::QAR2(O)
        • S(a);N_GUARD,XB(G)::R(C)
        • P(d);OGATE,XP(B)::R(C)
        • R(i);SBLOCK::R(F)
        • R(f);P_PINP(K),SBLOCK::S(I)
        • R(f);N_GUARD::QAR2(O),XR(f)
        • S(a);N_GUARD::R(C),XS(a)
        • S(a);N_GUARD::R(C)
        • S(b);N_GUARD::B(A),XP(d)
        • P(h);N_GUARD::R1(F)
      • Refutation
        • R(i);XB(M)
    • Try
      • P(M);P_PINR(i)
      • Threat
        • R1(M),XR(i)
      • Vars
        • R(f);N_GUARD,XS(I)::QAR2(O)
      • Refutation
        • R(i);N_SPINR(i),XR(M)
  • Actual
    • K(N);S_FLIGHT
    • Vars
      • R(f);N_GUARD,XS(I)::QAR2(O)
      • R(f);N_GUARD,XP(L)::QAR2(O)
      • R(i);P_SPINR(i),XP(K)::P=Q
      • R(i);OGATE,XP(M)::QAR2(O),XR(i)
      • B(c);OGATE,XP(H)::B(A),XB(c)
      • S(a);N_GUARD,XB(G)::R(C)
      • P(d);OGATE,XP(B)::R(C)
      • R(i);SBLOCK::R(F)
      • R(f);SBLOCK::S(I)
      • R(f);N_GUARD,P_PINQ(O)::QAR2(O),XR(f)
      • S(a);N_GUARD::R(C),XS(a)
      • S(a);N_GUARD::R(C)
      • S(b);N_GUARD::B(A),XP(d)
      • P(h);N_GUARD::R1(F)
HTML5 logo

Developed and maintained by Brian Stephenson.
Implemented with HTML5, MySQL, Perl (with, inter alia, CGI::Simple, HTML::Template & XML::LibXML) & CSS/Javascript (jQuery, Bootstrap & DataTables).