Problem Display
PID: 70786 (6KQ/2N3p1/3R2Bb/4k1n1/5RP1/B1p1nPP1/8/8 w - - 0 1)

Mees, Wouter Jacob Gregorius

2nd Prize, NBvSV-70 JT, 2000-2001

6KQ/2N3p1/3R2Bb/4k1n1/5RP1/B1p1nPP1/8/8

#2

10 + 6


SOLUTION


  • SOUND
  • Sets
    • 1...Sd1
      • 2.Rf5#
      • 2.Rd5#
    • 1...Sf1
      • 2.Rf5#
      • 2.Rd5#
    • 1...Sc2
      • 2.Rf5#
      • 2.Rd5#
    • 1...Sg2
      • 2.Rf5#
      • 2.Rd5#
    • 1...Sc4
      • 2.Rf5#
      • 2.Rd5#
    • 1...Sxg4
      • 2.Rf5#
      • 2.Rd5#
    • 1...Sd5
      • 2.Rxd5#
    • 1...Sf5
      • 2.Rxf5#
    • 1...Sxf3
      • 2.Re4#
      • 2.Re6#
    • 1...Sh3
      • 2.Re4#
      • 2.Re6#
    • 1...Se4
      • 2.Rxe4#
    • 1...Se6
      • 2.Rxe6#
    • 1...Sf7
      • 2.Re4#
      • 2.Re6#
    • 1...Sh7
      • 2.Re4#
      • 2.Re6#
  • Tries
    • 1.Sb5?
      • 1...Sxg4
        • 2.Rf5#
      • 1...Sxf3
        • 2.Re4#
      • 1...Sd1
        • 2.Rf5#
      • 1...Sf1
        • 2.Rf5#
      • 1...Sc2
        • 2.Rf5#
      • 1...Sg2
        • 2.Rf5#
      • 1...Sc4
        • 2.Rf5#
      • 1...Sd5
        • 2.Rf5#
      • 1...Sf5
        • 2.Rxf5#
      • 1...Sh3
        • 2.Re4#
      • 1...Se4
        • 2.Rxe4#
      • 1...Sf7
        • 2.Re4#
      • 1...Sh7
        • 2.Re4#
      • 1...c2
        • 2.Bb2#
      • 1...Se6!
    • 1.Se8?
      • 1...Sxg4
        • 2.Rf5#
      • 1...Sxf3
        • 2.Re4#
      • 1...Se6
        • 2.Re4#
      • 1...Sd1
        • 2.Rf5#
      • 1...Sf1
        • 2.Rf5#
      • 1...Sc2
        • 2.Rf5#
      • 1...Sg2
        • 2.Rf5#
      • 1...Sc4
        • 2.Rf5#
      • 1...Sf5
        • 2.Rxf5#
      • 1...Sh3
        • 2.Re4#
      • 1...Se4
        • 2.Rxe4#
      • 1...Sf7
        • 2.Re4#
      • 1...Sh7
        • 2.Re4#
      • 1...c2
        • 2.Bb2#
      • 1...Sd5!
    • 1.Bb4?
      • 1...Sxg4
        • 2.Rf5#
        • 2.Rd5#
      • 1...Sxf3
        • 2.Re4#
        • 2.Re6#
      • 1...Se6
        • 2.Rxe6#
      • 1...Sd1
        • 2.Rf5#
        • 2.Rd5#
      • 1...Sf1
        • 2.Rf5#
        • 2.Rd5#
      • 1...Sc2
        • 2.Rf5#
        • 2.Rd5#
      • 1...Sg2
        • 2.Rf5#
        • 2.Rd5#
      • 1...Sc4
        • 2.Rf5#
        • 2.Rd5#
      • 1...Sd5
        • 2.Rxd5#
      • 1...Sf5
        • 2.Rxf5#
      • 1...Sh3
        • 2.Re4#
        • 2.Re6#
      • 1...Se4
        • 2.Rxe4#
      • 1...Sf7
        • 2.Re4#
        • 2.Re6#
      • 1...Sh7
        • 2.Re4#
        • 2.Re6#
      • 1...c2!
    • 1.Bc5?
      • 1...Sxg4
        • 2.Rf5#
        • 2.Rd5#
      • 1...Sxf3
        • 2.Re4#
        • 2.Re6#
      • 1...Se6
        • 2.Rxe6#
      • 1...Sd1
        • 2.Rf5#
        • 2.Rd5#
      • 1...Sf1
        • 2.Rf5#
        • 2.Rd5#
      • 1...Sc2
        • 2.Rf5#
        • 2.Rd5#
      • 1...Sg2
        • 2.Rf5#
        • 2.Rd5#
      • 1...Sc4
        • 2.Rf5#
        • 2.Rd5#
      • 1...Sd5
        • 2.Rf5#
        • 2.Rxd5#
      • 1...Sf5
        • 2.Rxf5#
      • 1...Sh3
        • 2.Re4#
        • 2.Re6#
      • 1...Se4
        • 2.Rxe4#
        • 2.Re6#
      • 1...Sf7
        • 2.Re4#
        • 2.Re6#
      • 1...Sh7
        • 2.Re4#
        • 2.Re6#
      • 1...c2!
    • 1.Bb1?
      • 1...Sxg4
        • 2.Rf5#
        • 2.Rd5#
      • 1...Sxf3
        • 2.Re4#
        • 2.Re6#
      • 1...Sd1
        • 2.Rf5#
        • 2.Rd5#
      • 1...Sf1
        • 2.Rf5#
        • 2.Rd5#
      • 1...Sc2
        • 2.Rf5#
        • 2.Rd5#
      • 1...Sg2
        • 2.Rf5#
        • 2.Rd5#
      • 1...Sc4
        • 2.Rf5#
        • 2.Rd5#
      • 1...Sd5
        • 2.Rxd5#
      • 1...Sf5
        • 2.Rxf5#
      • 1...Sh3
        • 2.Re4#
        • 2.Re6#
      • 1...Se4
        • 2.Rxe4#
      • 1...Se6
        • 2.Rxe6#
      • 1...Sf7
        • 2.Re4#
        • 2.Re6#
      • 1...Sh7
        • 2.Re4#
        • 2.Re6#
      • 1...c2!
    • 1.Bd3?
      • 1...Sxg4
        • 2.Rf5#
        • 2.Rd5#
      • 1...Sxf3
        • 2.Re4#
        • 2.Re6#
      • 1...Sd1
        • 2.Rf5#
        • 2.Rd5#
      • 1...Sf1
        • 2.Rf5#
        • 2.Rd5#
      • 1...Sc2
        • 2.Rf5#
        • 2.Rd5#
      • 1...Sg2
        • 2.Rf5#
        • 2.Rd5#
      • 1...Sc4
        • 2.Rf5#
        • 2.Rd5#
      • 1...Sd5
        • 2.Rxd5#
      • 1...Sf5
        • 2.Rxf5#
      • 1...Sh3
        • 2.Re4#
        • 2.Re6#
      • 1...Se4
        • 2.Rxe4#
      • 1...Se6
        • 2.Rxe6#
      • 1...Sf7
        • 2.Re4#
        • 2.Re6#
      • 1...Sh7
        • 2.Re4#
        • 2.Re6#
      • 1...c2!
    • 1.Bh5?
      • 1...Sxg4
        • 2.Rd5#
      • 1...Sxf3
        • 2.Re6#
      • 1...Sd1
        • 2.Rf5#
        • 2.Rd5#
      • 1...Sf1
        • 2.Rf5#
        • 2.Rd5#
      • 1...Sc2
        • 2.Rf5#
        • 2.Rd5#
      • 1...Sg2
        • 2.Rf5#
        • 2.Rd5#
      • 1...Sc4
        • 2.Rf5#
        • 2.Rd5#
      • 1...Sd5
        • 2.Rxd5#
      • 1...Sf5
        • 2.Rxf5#
      • 1...Sh3
        • 2.Re4#
        • 2.Re6#
      • 1...Se4
        • 2.Rxe4#
      • 1...Se6
        • 2.Rxe6#
      • 1...Sf7
        • 2.Re4#
        • 2.Re6#
      • 1...Sh7
        • 2.Re4#
        • 2.Re6#
      • 1...c2!
    • 1.Bf7?
      • 1...Sxg4
        • 2.Rd5#
      • 1...Sxf3
        • 2.Re6#
      • 1...Sxf7
        • 2.Re4#
        • 2.Re6#
      • 1...Sd1
        • 2.Rf5#
        • 2.Rd5#
      • 1...Sf1
        • 2.Rf5#
        • 2.Rd5#
      • 1...Sc2
        • 2.Rf5#
        • 2.Rd5#
      • 1...Sg2
        • 2.Rf5#
        • 2.Rd5#
      • 1...Sc4
        • 2.Rf5#
        • 2.Rd5#
      • 1...Sd5
        • 2.Rxd5#
      • 1...Sf5
        • 2.Rxf5#
      • 1...Sh3
        • 2.Re4#
        • 2.Re6#
      • 1...Se4
        • 2.Rxe4#
      • 1...Se6
        • 2.Rxe6#
      • 1...Sh7
        • 2.Re4#
        • 2.Re6#
      • 1...c2!
    • 1.Bh7?
      • 1...Sxg4
        • 2.Rf5#
        • 2.Rd5#
      • 1...Sxf3
        • 2.Re4#
        • 2.Re6#
      • 1...Sxh7
        • 2.Re4#
        • 2.Re6#
      • 1...Sd1
        • 2.Rf5#
        • 2.Rd5#
      • 1...Sf1
        • 2.Rf5#
        • 2.Rd5#
      • 1...Sc2
        • 2.Rf5#
        • 2.Rd5#
      • 1...Sg2
        • 2.Rf5#
        • 2.Rd5#
      • 1...Sc4
        • 2.Rf5#
        • 2.Rd5#
      • 1...Sd5
        • 2.Rxd5#
      • 1...Sf5
        • 2.Rxf5#
      • 1...Sh3
        • 2.Re4#
        • 2.Re6#
      • 1...Se4
        • 2.Rxe4#
      • 1...Se6
        • 2.Rxe6#
      • 1...Sf7
        • 2.Re4#
        • 2.Re6#
      • 1...c2!
    • 1.Be8?
      • 1...Sxg4
        • 2.Rd5#
      • 1...Sxf3
        • 2.Re6#
      • 1...Sd1
        • 2.Rf5#
        • 2.Rd5#
      • 1...Sf1
        • 2.Rf5#
        • 2.Rd5#
      • 1...Sc2
        • 2.Rf5#
        • 2.Rd5#
      • 1...Sg2
        • 2.Rf5#
        • 2.Rd5#
      • 1...Sc4
        • 2.Rf5#
        • 2.Rd5#
      • 1...Sd5
        • 2.Rxd5#
      • 1...Sf5
        • 2.Rxf5#
      • 1...Sh3
        • 2.Re4#
        • 2.Re6#
      • 1...Se4
        • 2.Rxe4#
      • 1...Se6
        • 2.Rxe6#
      • 1...Sf7
        • 2.Re4#
        • 2.Re6#
      • 1...Sh7
        • 2.Re4#
        • 2.Re6#
      • 1...c2!
    • 1.Ra4?
      • threat
        • 2.f4#
      • 1...Sxf3
        • 2.Re4#
        • 2.Re6#
      • 1...Se6
        • 2.Rxe6#
      • 1...Sg2
        • 2.Ra5#
      • 1...Sh3
        • 2.Re4#
        • 2.Re6#
      • 1...Se4
        • 2.Rxe4#
        • 2.Re6#
      • 1...Sf7
        • 2.Re4#
        • 2.Re6#
      • 1...Sh7
        • 2.Re4#
        • 2.Re6#
      • 1...Sd5!
    • 1.Rfd4?
      • threat
        • 2.f4#
      • 1...Sxf3
        • 2.Re4#
      • 1...Sd5
        • 2.R4xd5#
      • 1...Sg2
        • 2.R4d5#
      • 1...Sh3
        • 2.Re4#
      • 1...Se4
        • 2.Rxe4#
      • 1...Sf7
        • 2.Re4#
      • 1...Sh7
        • 2.Re4#
      • 1...Se6!
    • 1.Rff6?
      • threat
        • 2.f4#
      • 1...Sxf3
        • 2.Rfe6#
      • 1...Se6
        • 2.Rfxe6#
      • 1...Sg2
        • 2.Rf5#
      • 1...Sf5
        • 2.Rxf5#
      • 1...Sh3
        • 2.Rfe6#
      • 1...Se4
        • 2.Rfe6#
      • 1...Sf7
        • 2.Rfe6#
      • 1...Sh7
        • 2.Rfe6#
      • 1...Sd5!
    • 1.Rf8?
      • threat
        • 2.f4#
      • 1...Sxf3
        • 2.Re8#
      • 1...Sd5
        • 2.Rxd5#
      • 1...Sg2
        • 2.Rd5#
        • 2.Rf5#
      • 1...Sf5
        • 2.Rd5#
        • 2.Rxf5#
      • 1...Sh3
        • 2.Re8#
      • 1...Se4
        • 2.Re8#
      • 1...Sf7
        • 2.Re8#
      • 1...Sh7
        • 2.Re8#
      • 1...Se6!
    • 1.Rd3?
      • threat
        • 2.Bd6#
      • 1...Sf5
        • 2.Rxf5#
      • 1...Sc4
        • 2.Rd5#
        • 2.Rf5#
      • 1...Sd5
        • 2.Rxd5#
        • 2.Rf5#
      • 1...Sf7
        • 2.Rxe3#
      • 1...Se4!
    • 1.Rdd4?
      • threat
        • 2.Bd6#
      • 1...Se4
        • 2.Rdxe4#
      • 1...Sc4
        • 2.Rd5#
      • 1...Sd5
        • 2.Rxd5#
      • 1...Sf7
        • 2.Rde4#
      • 1...Sf5!
    • 1.Rb6?
      • threat
        • 2.Bd6#
      • 1...Se4
        • 2.Rxe4#
      • 1...Sc4
        • 2.Rb5#
      • 1...Sf7
        • 2.Re4#
        • 2.Re6#
      • 1...Sf5!
    • 1.Rdf6?
      • threat
        • 2.Bd6#
      • 1...gxf6
        • 2.Qxf6#
      • 1...Sf5
        • 2.R6xf5#
      • 1...Sc4
        • 2.R6f5#
      • 1...Se6
        • 2.Rxe6#
      • 1...Sf7
        • 2.Re6#
      • 1...Se4!
    • 1.Rd7?
      • threat
        • 2.Bd6#
      • 1...Sf5
        • 2.Rxf5#
      • 1...Sc4
        • 2.Rf5#
        • 2.Rd5#
      • 1...Sf7
        • 2.Re7#
      • 1...Se4!
    • 1.Rd8?
      • threat
        • 2.Bd6#
      • 1...Sf5
        • 2.Rxf5#
      • 1...Sc4
        • 2.Rf5#
        • 2.Rd5#
      • 1...Sf7
        • 2.Re8#
      • 1...Se4!
    • 1.Qxh6?
      • threat
        • 2.Qxg7#
      • 1...Sxg4
        • 2.Rf5#
        • 2.Rd5#
        • 2.Qxg5#
      • 1...Sd5
        • 2.Rxd5#
        • 2.Qxg5#
      • 1...Sf5
        • 2.Rxf5#
      • 1...Se4
        • 2.Rxe4#
      • 1...Se6
        • 2.Rxe6#
      • 1...Sh7
        • 2.Re4#
        • 2.Re6#
      • 1...gxh6!
    • 1.Qh7?
      • 1...Sxg4
        • 2.Rf5#
        • 2.Rd5#
      • 1...Sxf3
        • 2.Re4#
        • 2.Re6#
      • 1...Sxh7
        • 2.Re4#
        • 2.Re6#
      • 1...Sd1
        • 2.Rf5#
        • 2.Rd5#
      • 1...Sf1
        • 2.Rf5#
        • 2.Rd5#
      • 1...Sc2
        • 2.Rf5#
        • 2.Rd5#
      • 1...Sg2
        • 2.Rf5#
        • 2.Rd5#
      • 1...Sc4
        • 2.Rf5#
        • 2.Rd5#
      • 1...Sd5
        • 2.Rxd5#
      • 1...Sf5
        • 2.Rxf5#
      • 1...Sh3
        • 2.Re4#
        • 2.Re6#
      • 1...Se4
        • 2.Rxe4#
      • 1...Se6
        • 2.Rxe6#
      • 1...Sf7
        • 2.Re4#
        • 2.Re6#
      • 1...c2!
  • Keys
    • 1.Bc2!
      • 1...Sxc2
        • 2.Rf5#
        • 2.Rd5#
      • 1...Sxg4
        • 2.Rf5#
        • 2.Rd5#
      • 1...Sxf3
        • 2.Re4#
        • 2.Re6#
      • 1...Sd1
        • 2.Rf5#
        • 2.Rd5#
      • 1...Sf1
        • 2.Rf5#
        • 2.Rd5#
      • 1...Sg2
        • 2.Rf5#
        • 2.Rd5#
      • 1...Sc4
        • 2.Rf5#
        • 2.Rd5#
      • 1...Sd5
        • 2.Rxd5#
      • 1...Sf5
        • 2.Rxf5#
      • 1...Sh3
        • 2.Re4#
        • 2.Re6#
      • 1...Se4
        • 2.Rxe4#
      • 1...Se6
        • 2.Rxe6#
      • 1...Sf7
        • 2.Re4#
        • 2.Re6#
      • 1...Sh7
        • 2.Re4#
        • 2.Re6#

FEATURES


  • Static
    • TYPE = INCOMPLETE_BLOCK
    • CHANGED MATES = 0
    • ADDED MATES = 0
    • REMOVED MATES = 0
  • Sets
    • S(b);N_GUARD::R1(F),XS(b)
    • S(b);N_GUARD::R1(D),XS(b)
    • S(d);N_GUARD::R1(D),XS(d)
    • S(d);N_GUARD::R1(F),XS(d)
  • Tries
    • Try
      • S(H);
      • Vars
        • S(b);N_GUARD,XP(E)::R1(D)
        • S(d);N_GUARD,XP(B)::R1(D)
        • S(b);N_GUARD::R1(D)
        • S(b);N_GUARD::R1(D),XS(b)
        • S(d);N_GUARD::R1(D)
        • S(d);N_GUARD::R1(D),XS(d)
        • P(a);OGATEB::B(A)
      • Refutation
        • S(d);
    • Try
      • S(H);
      • Vars
        • S(b);N_GUARD,XP(E)::R1(D)
        • S(d);N_GUARD,XP(B)::R1(D)
        • S(d);N_GUARD::R1(D)
        • S(b);N_GUARD::R1(D)
        • S(b);N_GUARD::R1(D),XS(b)
        • S(d);N_GUARD::R1(D),XS(d)
        • P(a);OGATEB::B(A)
      • Refutation
        • S(b);
    • Try
      • B(A);
      • Vars
        • S(d);N_GUARD::R1(F),XS(d)
        • S(b);N_GUARD::R1(F),XS(b)
        • S(b);N_GUARD::R1(D),XS(b)
        • S(d);N_GUARD::R1(D),XS(d)
      • Refutation
        • P(a);
    • Try
      • B(A);
      • Vars
        • S(d);N_GUARD::R1(F),XS(d)
        • S(b);N_GUARD::R1(D),XS(b)
      • Refutation
        • P(a);
    • Try
      • B(G);
      • Vars
        • S(b);N_GUARD::R1(F),XS(b)
        • S(b);N_GUARD::R1(D),XS(b)
        • S(d);N_GUARD::R1(D),XS(d)
        • S(d);N_GUARD::R1(F),XS(d)
      • Refutation
        • P(a);
    • Try
      • B(G);
      • Vars
        • S(b);N_GUARD::R1(F),XS(b)
        • S(b);N_GUARD::R1(D),XS(b)
        • S(d);N_GUARD::R1(D),XS(d)
        • S(d);N_GUARD::R1(F),XS(d)
      • Refutation
        • P(a);
    • Try
      • B(G);
      • Vars
        • S(b);N_GUARD,XP(E)::R1(F)
        • S(d);N_GUARD,XP(B)::R1(F)
        • S(b);N_GUARD::R1(F),XS(b)
        • S(b);N_GUARD::R1(D),XS(b)
        • S(d);N_GUARD::R1(D),XS(d)
        • S(d);N_GUARD::R1(F),XS(d)
      • Refutation
        • P(a);
    • Try
      • B(G);
      • Vars
        • S(b);N_GUARD,XP(E)::R1(F)
        • S(d);N_GUARD,XP(B)::R1(F)
        • S(b);N_GUARD::R1(F),XS(b)
        • S(b);N_GUARD::R1(D),XS(b)
        • S(d);N_GUARD::R1(D),XS(d)
        • S(d);N_GUARD::R1(F),XS(d)
      • Refutation
        • P(a);
    • Try
      • B(G);
      • Vars
        • S(b);N_GUARD::R1(F),XS(b)
        • S(b);N_GUARD::R1(D),XS(b)
        • S(d);N_GUARD::R1(D),XS(d)
        • S(d);N_GUARD::R1(F),XS(d)
      • Refutation
        • P(a);
    • Try
      • B(G);
      • Vars
        • S(b);N_GUARD,XP(E)::R1(F)
        • S(d);N_GUARD,XP(B)::R1(F)
        • S(b);N_GUARD::R1(F),XS(b)
        • S(b);N_GUARD::R1(D),XS(b)
        • S(d);N_GUARD::R1(D),XS(d)
        • S(d);N_GUARD::R1(F),XS(d)
      • Refutation
        • P(a);
    • Try
      • R(D);
      • Threat
        • P(B)
      • Vars
        • S(d);N_GUARD::R1(F),XS(d)
        • S(b);N_GUARD::R(D)
      • Refutation
        • S(b);
    • Try
      • R(D);
      • Threat
        • P(B)
      • Vars
        • S(d);N_GUARD,XP(B)::R1(D)
        • S(b);N_GUARD::R1(D),XS(b)
        • S(b);N_GUARD::R1(D)
        • S(d);N_GUARD::R1(D)
        • S(d);N_GUARD::R1(D),XS(d)
      • Refutation
        • S(d);
    • Try
      • R(D);N_PINP(f)
      • Threat
        • P(B)
      • Vars
        • S(d);N_GUARD,XP(B)::R1(D)
        • S(d);N_GUARD::R1(D),XS(d)
        • S(b);N_GUARD::R1(D)
        • S(b);N_GUARD::R1(D),XS(b)
        • S(d);N_GUARD::R1(D)
      • Refutation
        • S(b);
    • Try
      • R(D);
      • Threat
        • P(B)
      • Vars
        • S(d);N_GUARD,XP(B)::R(D)
        • S(b);N_GUARD::R1(F),XS(b)
        • S(d);N_GUARD::R(D)
      • Refutation
        • S(d);
    • Try
      • R(F);
      • Threat
        • B(A)
      • Vars
        • S(b);N_GUARD::R1(D),XS(b)
        • S(d);N_GUARD::R(F),XS(b)
      • Refutation
        • S(d);
    • Try
      • R(F);
      • Threat
        • B(A)
      • Vars
        • S(d);N_GUARD::R1(F),XS(d)
        • S(b);N_GUARD::R1(F)
        • S(b);N_GUARD::R1(F),XS(b)
        • S(d);N_GUARD::R1(F)
      • Refutation
        • S(b);
    • Try
      • R(F);
      • Threat
        • B(A)
      • Vars
        • S(d);N_GUARD::R1(D),XS(d)
        • S(b);N_GUARD::R(F)
      • Refutation
        • S(b);
    • Try
      • R(F);N_PINP(f)
      • Threat
        • B(A)
      • Vars
        • P(f);OGATE,P_SPINP(f),XR(F)::QAB1(J),XP(f)
        • S(b);N_GUARD::R1(F),XS(b)
        • S(b);N_GUARD::R1(F)
        • S(d);N_GUARD::R1(F),XS(d)
        • S(d);N_GUARD::R1(F)
      • Refutation
        • S(d);
    • Try
      • R(F);
      • Threat
        • B(A)
      • Vars
        • S(b);N_GUARD::R1(D),XS(b)
        • S(d);N_GUARD::R(F)
      • Refutation
        • S(d);
    • Try
      • R(F);
      • Threat
        • B(A)
      • Vars
        • S(b);N_GUARD::R1(D),XS(b)
        • S(d);N_GUARD::R(F)
      • Refutation
        • S(d);
    • Try
      • Q(J);N_PINP(f),XB(e)
      • Threat
        • QAB(J),XP(f)
      • Vars
        • S(b);N_GUARD::R1(D),XS(b)
        • S(d);N_GUARD::R1(D),XS(d)
        • S(d);N_GUARD::R1(F),XS(d)
      • Refutation
        • P(f);XQ(J)
    • Try
      • Q(J);N_PINP(f)
      • Vars
        • S(b);N_GUARD::R1(F),XS(b)
        • S(b);N_GUARD::R1(D),XS(b)
        • S(d);N_GUARD::R1(D),XS(d)
        • S(d);N_GUARD::R1(F),XS(d)
      • Refutation
        • P(a);
  • Actual
    • B(G);
    • Vars
      • S(b);N_GUARD::R1(F),XS(b)
      • S(b);N_GUARD::R1(D),XS(b)
      • S(d);N_GUARD::R1(D),XS(d)
      • S(d);N_GUARD::R1(F),XS(d)


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).