Problem Display
PID: 138776 (7k/4q3/5RQK/4N1B1/8/8/8/8 w - - 0 1)

Aberman, Victor

1st Prize, StrateGems 01. Miniature Ty., 2010

7k/4q3/5RQK/4N1B1/8/8/8/8

#2

5 + 2


15148 Sadier Collection 2014

SOLUTION


  • SOUND
  • Sets
    • 1...Qa3
      • 2.Sf7#
      • 2.Qh7#
      • 2.Qg7#
    • 1...Qb4
      • 2.Sf7#
      • 2.Qh7#
      • 2.Qg7#
    • 1...Qc5
      • 2.Sf7#
      • 2.Qh7#
      • 2.Qg7#
    • 1...Qd6
      • 2.Sf7#
      • 2.Qh7#
      • 2.Qg7#
    • 1...Qxf6
      • 2.Bxf6#
    • 1...Qd8
      • 2.Sf7#
      • 2.Qh7#
      • 2.Qg7#
    • 1...Qf8+
      • 2.Rxf8#
    • 1...Qxe5
      • 2.Rf8#
      • 2.Qh7#
      • 2.Qg7#
    • 1...Qe6
      • 2.Qh7#
      • 2.Qg7#
    • 1...Qa7
      • 2.Rf8#
      • 2.Qe8#
    • 1...Qb7
      • 2.Rf8#
      • 2.Qe8#
    • 1...Qc7
      • 2.Rf8#
      • 2.Qe8#
    • 1...Qd7
      • 2.Rf8#
    • 1...Qf7
      • 2.Sxf7#
    • 1...Qg7+
      • 2.Qxg7#
    • 1...Qh7+
      • 2.Qxh7#
    • 1...Qe8
      • 2.Qh7#
      • 2.Qxe8#
      • 2.Qg7#
  • Tries
    • 1.Sd3?
      • 1...Qf8+
        • 2.Rxf8#
      • 1...Qg7+
        • 2.Qxg7#
      • 1...Qh7+
        • 2.Qxh7#
      • 1...Qxf6
        • 2.Bxf6#
      • 1...Qa3
        • 2.Qh7#
        • 2.Qg7#
      • 1...Qb4
        • 2.Qh7#
        • 2.Qg7#
      • 1...Qc5
        • 2.Qh7#
        • 2.Qg7#
      • 1...Qd6
        • 2.Qh7#
        • 2.Qg7#
      • 1...Qd8
        • 2.Qh7#
        • 2.Qg7#
      • 1...Qe1
        • 2.Rf8#
        • 2.Qh7#
        • 2.Qg7#
      • 1...Qe2
        • 2.Rf8#
        • 2.Qh7#
        • 2.Qg7#
      • 1...Qe3
        • 2.Rf8#
        • 2.Qh7#
        • 2.Qg7#
      • 1...Qe4
        • 2.Rf8#
        • 2.Qg7#
      • 1...Qe5
        • 2.Rf8#
        • 2.Qh7#
        • 2.Qg7#
      • 1...Qe6
        • 2.Qh7#
        • 2.Qg7#
      • 1...Qa7
        • 2.Rf8#
        • 2.Qe8#
      • 1...Qb7
        • 2.Rf8#
        • 2.Qe8#
      • 1...Qc7
        • 2.Rf8#
        • 2.Qe8#
      • 1...Qd7
        • 2.Rf8#
      • 1...Qe8
        • 2.Qh7#
        • 2.Qxe8#
        • 2.Qg7#
      • 1...Qf7!
    • 1.Sf3?
      • 1...Qf8+
        • 2.Rxf8#
      • 1...Qg7+
        • 2.Qxg7#
      • 1...Qh7+
        • 2.Qxh7#
      • 1...Qxf6
        • 2.Bxf6#
      • 1...Qa3
        • 2.Qh7#
        • 2.Qg7#
      • 1...Qb4
        • 2.Qh7#
        • 2.Qg7#
      • 1...Qc5
        • 2.Qh7#
        • 2.Qg7#
      • 1...Qd6
        • 2.Qh7#
        • 2.Qg7#
      • 1...Qd8
        • 2.Qh7#
        • 2.Qg7#
      • 1...Qe1
        • 2.Rf8#
        • 2.Qh7#
        • 2.Qg7#
      • 1...Qe2
        • 2.Rf8#
        • 2.Qh7#
        • 2.Qg7#
      • 1...Qe3
        • 2.Rf8#
        • 2.Qh7#
        • 2.Qg7#
      • 1...Qe4
        • 2.Rf8#
        • 2.Qg7#
      • 1...Qe5
        • 2.Rf8#
        • 2.Qh7#
        • 2.Qg7#
      • 1...Qe6
        • 2.Qh7#
        • 2.Qg7#
      • 1...Qa7
        • 2.Rf8#
        • 2.Qe8#
      • 1...Qb7
        • 2.Rf8#
        • 2.Qe8#
      • 1...Qc7
        • 2.Rf8#
        • 2.Qe8#
      • 1...Qd7
        • 2.Rf8#
      • 1...Qe8
        • 2.Qh7#
        • 2.Qxe8#
        • 2.Qg7#
      • 1...Qf7!
    • 1.Sc4?
      • 1...Qf8+
        • 2.Rxf8#
      • 1...Qg7+
        • 2.Qxg7#
      • 1...Qh7+
        • 2.Qxh7#
      • 1...Qxf6
        • 2.Bxf6#
      • 1...Qa3
        • 2.Qh7#
        • 2.Qg7#
      • 1...Qb4
        • 2.Qh7#
        • 2.Qg7#
      • 1...Qc5
        • 2.Qh7#
        • 2.Qg7#
      • 1...Qd6
        • 2.Qh7#
        • 2.Qg7#
      • 1...Qd8
        • 2.Qh7#
        • 2.Qg7#
      • 1...Qe1
        • 2.Rf8#
        • 2.Qh7#
        • 2.Qg7#
      • 1...Qe2
        • 2.Rf8#
        • 2.Qh7#
        • 2.Qg7#
      • 1...Qe3
        • 2.Rf8#
        • 2.Qh7#
        • 2.Qg7#
      • 1...Qe4
        • 2.Rf8#
        • 2.Qg7#
      • 1...Qe5
        • 2.Rf8#
        • 2.Qh7#
        • 2.Qg7#
      • 1...Qe6
        • 2.Qh7#
        • 2.Qg7#
      • 1...Qa7
        • 2.Rf8#
        • 2.Qe8#
      • 1...Qb7
        • 2.Rf8#
        • 2.Qe8#
      • 1...Qc7
        • 2.Rf8#
        • 2.Qe8#
      • 1...Qd7
        • 2.Rf8#
      • 1...Qe8
        • 2.Qh7#
        • 2.Qxe8#
        • 2.Qg7#
      • 1...Qf7!
    • 1.Sg4?
      • 1...Qf8+
        • 2.Rxf8#
      • 1...Qg7+
        • 2.Qxg7#
      • 1...Qh7+
        • 2.Qxh7#
      • 1...Qxf6
        • 2.Bxf6#
      • 1...Qa3
        • 2.Qh7#
        • 2.Qg7#
      • 1...Qb4
        • 2.Qh7#
        • 2.Qg7#
      • 1...Qc5
        • 2.Qh7#
        • 2.Qg7#
      • 1...Qd6
        • 2.Qh7#
        • 2.Qg7#
      • 1...Qd8
        • 2.Qh7#
        • 2.Qg7#
      • 1...Qe1
        • 2.Rf8#
        • 2.Qh7#
        • 2.Qg7#
      • 1...Qe2
        • 2.Rf8#
        • 2.Qh7#
        • 2.Qg7#
      • 1...Qe3
        • 2.Rf8#
        • 2.Qh7#
        • 2.Qg7#
      • 1...Qe4
        • 2.Rf8#
        • 2.Qg7#
      • 1...Qe5
        • 2.Rf8#
        • 2.Qh7#
        • 2.Qg7#
      • 1...Qe6
        • 2.Qh7#
        • 2.Qg7#
      • 1...Qa7
        • 2.Rf8#
        • 2.Qe8#
      • 1...Qb7
        • 2.Rf8#
        • 2.Qe8#
      • 1...Qc7
        • 2.Rf8#
        • 2.Qe8#
      • 1...Qd7
        • 2.Rf8#
      • 1...Qe8
        • 2.Qh7#
        • 2.Qxe8#
        • 2.Qg7#
      • 1...Qf7!
    • 1.Sc6?
      • 1...Qf8+
        • 2.Rxf8#
      • 1...Qg7+
        • 2.Qxg7#
      • 1...Qh7+
        • 2.Qxh7#
      • 1...Qxf6
        • 2.Bxf6#
      • 1...Qa3
        • 2.Qh7#
        • 2.Qg7#
      • 1...Qb4
        • 2.Qh7#
        • 2.Qg7#
      • 1...Qc5
        • 2.Qh7#
        • 2.Qg7#
      • 1...Qd6
        • 2.Qh7#
        • 2.Qg7#
      • 1...Qd8
        • 2.Qh7#
        • 2.Qg7#
      • 1...Qe1
        • 2.Rf8#
        • 2.Qh7#
        • 2.Qg7#
      • 1...Qe2
        • 2.Rf8#
        • 2.Qh7#
        • 2.Qg7#
      • 1...Qe3
        • 2.Rf8#
        • 2.Qh7#
        • 2.Qg7#
      • 1...Qe4
        • 2.Rf8#
        • 2.Qg7#
      • 1...Qe5
        • 2.Rf8#
        • 2.Qh7#
        • 2.Qg7#
      • 1...Qe6
        • 2.Qh7#
        • 2.Qg7#
      • 1...Qa7
        • 2.Rf8#
        • 2.Qe8#
      • 1...Qb7
        • 2.Rf8#
        • 2.Qe8#
      • 1...Qc7
        • 2.Rf8#
        • 2.Qe8#
      • 1...Qd7
        • 2.Rf8#
      • 1...Qe8
        • 2.Qh7#
        • 2.Qxe8#
        • 2.Qg7#
      • 1...Qf7!
    • 1.Sd7?
      • 1...Qf8+
        • 2.Rxf8#
      • 1...Qg7+
        • 2.Qxg7#
      • 1...Qh7+
        • 2.Qxh7#
      • 1...Qxf6
        • 2.Bxf6#
      • 1...Qxd7
        • 2.Rf8#
      • 1...Qa3
        • 2.Qh7#
        • 2.Qg7#
      • 1...Qb4
        • 2.Qh7#
        • 2.Qg7#
      • 1...Qc5
        • 2.Qh7#
        • 2.Qg7#
      • 1...Qd6
        • 2.Qh7#
        • 2.Qg7#
      • 1...Qd8
        • 2.Qh7#
        • 2.Qg7#
      • 1...Qe1
        • 2.Rf8#
        • 2.Qh7#
        • 2.Qg7#
      • 1...Qe2
        • 2.Rf8#
        • 2.Qh7#
        • 2.Qg7#
      • 1...Qe3
        • 2.Rf8#
        • 2.Qh7#
        • 2.Qg7#
      • 1...Qe4
        • 2.Rf8#
        • 2.Qg7#
      • 1...Qe5
        • 2.Rf8#
        • 2.Qh7#
        • 2.Qg7#
      • 1...Qe6
        • 2.Qh7#
        • 2.Qg7#
      • 1...Qe8
        • 2.Qh7#
        • 2.Qxe8#
        • 2.Qg7#
      • 1...Qf7!
    • 1.Bc1?
      • 1...Qf8+
        • 2.Rxf8#
      • 1...Qg7+
        • 2.Qxg7#
      • 1...Qh7+
        • 2.Qxh7#
      • 1...Qxe5
        • 2.Rf8#
        • 2.Qh7#
        • 2.Qg7#
      • 1...Qf7
        • 2.Sxf7#
      • 1...Qa3
        • 2.Sf7#
        • 2.Qh7#
        • 2.Qg7#
      • 1...Qb4
        • 2.Sf7#
        • 2.Qh7#
        • 2.Qg7#
      • 1...Qc5
        • 2.Sf7#
        • 2.Qh7#
        • 2.Qg7#
      • 1...Qd6
        • 2.Sf7#
        • 2.Qh7#
        • 2.Qg7#
      • 1...Qd8
        • 2.Sf7#
        • 2.Qh7#
        • 2.Qg7#
      • 1...Qe6
        • 2.Qh7#
        • 2.Qg7#
      • 1...Qa7
        • 2.Rf8#
        • 2.Qe8#
      • 1...Qb7
        • 2.Rf8#
        • 2.Qe8#
      • 1...Qc7
        • 2.Rf8#
        • 2.Qe8#
      • 1...Qd7
        • 2.Rf8#
      • 1...Qe8
        • 2.Qh7#
        • 2.Qxe8#
        • 2.Qg7#
      • 1...Qxf6!
    • 1.Bd2?
      • 1...Qf8+
        • 2.Rxf8#
      • 1...Qg7+
        • 2.Qxg7#
      • 1...Qh7+
        • 2.Qxh7#
      • 1...Qxe5
        • 2.Rf8#
        • 2.Qh7#
        • 2.Qg7#
      • 1...Qf7
        • 2.Sxf7#
      • 1...Qa3
        • 2.Sf7#
        • 2.Qh7#
        • 2.Qg7#
      • 1...Qb4
        • 2.Sf7#
        • 2.Qh7#
        • 2.Qg7#
      • 1...Qc5
        • 2.Sf7#
        • 2.Qh7#
        • 2.Qg7#
      • 1...Qd6
        • 2.Sf7#
        • 2.Qh7#
        • 2.Qg7#
      • 1...Qd8
        • 2.Sf7#
        • 2.Qh7#
        • 2.Qg7#
      • 1...Qe6
        • 2.Qh7#
        • 2.Qg7#
      • 1...Qa7
        • 2.Rf8#
        • 2.Qe8#
      • 1...Qb7
        • 2.Rf8#
        • 2.Qe8#
      • 1...Qc7
        • 2.Rf8#
        • 2.Qe8#
      • 1...Qd7
        • 2.Rf8#
      • 1...Qe8
        • 2.Qh7#
        • 2.Qxe8#
        • 2.Qg7#
      • 1...Qxf6!
    • 1.Be3?
      • 1...Qf8+
        • 2.Rxf8#
      • 1...Qg7+
        • 2.Qxg7#
      • 1...Qh7+
        • 2.Qxh7#
      • 1...Qxe5
        • 2.Rf8#
        • 2.Qh7#
        • 2.Qg7#
      • 1...Qf7
        • 2.Sxf7#
      • 1...Qa3
        • 2.Sf7#
        • 2.Qh7#
        • 2.Qg7#
      • 1...Qb4
        • 2.Sf7#
        • 2.Qh7#
        • 2.Qg7#
      • 1...Qc5
        • 2.Sf7#
        • 2.Qh7#
        • 2.Qg7#
      • 1...Qd6
        • 2.Sf7#
        • 2.Qh7#
        • 2.Qg7#
      • 1...Qd8
        • 2.Sf7#
        • 2.Qh7#
        • 2.Qg7#
      • 1...Qe6
        • 2.Qh7#
        • 2.Qg7#
      • 1...Qa7
        • 2.Rf8#
        • 2.Qe8#
      • 1...Qb7
        • 2.Rf8#
        • 2.Qe8#
      • 1...Qc7
        • 2.Rf8#
        • 2.Qe8#
      • 1...Qd7
        • 2.Rf8#
      • 1...Qe8
        • 2.Qh7#
        • 2.Qxe8#
        • 2.Qg7#
      • 1...Qxf6!
    • 1.Bf4?
      • 1...Qf8+
        • 2.Rxf8#
      • 1...Qg7+
        • 2.Qxg7#
      • 1...Qh7+
        • 2.Qxh7#
      • 1...Qxe5
        • 2.Rf8#
        • 2.Qh7#
        • 2.Qg7#
      • 1...Qf7
        • 2.Sxf7#
      • 1...Qa3
        • 2.Sf7#
        • 2.Qh7#
        • 2.Qg7#
      • 1...Qb4
        • 2.Sf7#
        • 2.Qh7#
        • 2.Qg7#
      • 1...Qc5
        • 2.Sf7#
        • 2.Qh7#
        • 2.Qg7#
      • 1...Qd6
        • 2.Sf7#
        • 2.Qh7#
        • 2.Qg7#
      • 1...Qd8
        • 2.Sf7#
        • 2.Qh7#
        • 2.Qg7#
      • 1...Qe6
        • 2.Qh7#
        • 2.Qg7#
      • 1...Qa7
        • 2.Rf8#
        • 2.Qe8#
      • 1...Qb7
        • 2.Rf8#
        • 2.Qe8#
      • 1...Qc7
        • 2.Rf8#
        • 2.Qe8#
      • 1...Qd7
        • 2.Rf8#
      • 1...Qe8
        • 2.Qh7#
        • 2.Qxe8#
        • 2.Qg7#
      • 1...Qxf6!
    • 1.Rf7?
      • threat
        • 2.Qh7#
        • 2.Qg7#
      • 1...Qf8+
        • 2.Rxf8#
      • 1...Qxe5
        • 2.Rh7#
        • 2.Rf8#
        • 2.Qh7#
      • 1...Qxf7
        • 2.Sxf7#
      • 1...Qd6
        • 2.Rh7#
      • 1...Qf6
        • 2.Bxf6#
        • 2.Rh7#
      • 1...Qe6
        • 2.Rh7#
      • 1...Qxg5+!
    • 1.Qf7?
      • threat
        • 2.Sg6#
      • 1...Qxf6+
        • 2.Bxf6#
      • 1...Qf8+
        • 2.Qxf8#
      • 1...Qxe5
        • 2.Qg7#
        • 2.Qh7#
        • 2.Qf8#
      • 1...Qxf7!
    • 1.Qe8+?
      • 1...Qf8+
        • 2.Rxf8#
        • 2.Qxf8#
      • 1...Qxe8!
  • Keys
    • 1.Bh4!
      • 1...Qf8+
        • 2.Rxf8#
      • 1...Qg7+
        • 2.Qxg7#
      • 1...Qh7+
        • 2.Qxh7#
      • 1...Qxf6
        • 2.Bxf6#
      • 1...Qxe5
        • 2.Rf8#
        • 2.Qh7#
        • 2.Qg7#
      • 1...Qf7
        • 2.Sxf7#
      • 1...Qa3
        • 2.Sf7#
        • 2.Qh7#
        • 2.Qg7#
      • 1...Qb4
        • 2.Sf7#
        • 2.Qh7#
        • 2.Qg7#
      • 1...Qc5
        • 2.Sf7#
        • 2.Qh7#
        • 2.Qg7#
      • 1...Qd6
        • 2.Sf7#
        • 2.Qh7#
        • 2.Qg7#
      • 1...Qd8
        • 2.Sf7#
        • 2.Qh7#
        • 2.Qg7#
      • 1...Qe6
        • 2.Qh7#
        • 2.Qg7#
      • 1...Qa7
        • 2.Rf8#
        • 2.Qe8#
      • 1...Qb7
        • 2.Rf8#
        • 2.Qe8#
      • 1...Qc7
        • 2.Rf8#
        • 2.Qe8#
      • 1...Qd7
        • 2.Rf8#
      • 1...Qe8
        • 2.Qh7#
        • 2.Qxe8#
        • 2.Qg7#

FEATURES


  • Static
    • TYPE = WAITER
    • CHANGED MATES = 0
    • ADDED MATES = 0
    • REMOVED MATES = 0
  • Sets
    • Q(a);OGATE,P_PINQ(D),XR(C)::B(B),XQ(a)
    • Q(a);CHECK,N_GUARD::R(C),XQ(a)
    • Q(a);N_GUARD::R(C)
    • Q(a);N_GUARD::S(A),XQ(a)
    • Q(a);CHECK,N_GUARD::QAB1(D),XQ(a)
    • Q(a);CHECK,N_GUARD::QAR1(D),XQ(a)
  • Tries
    • Try
      • S(A);
      • Vars
        • Q(a);CHECK,N_GUARD::R(C),XQ(a)
        • Q(a);CHECK,N_GUARD::QAB1(D),XQ(a)
        • Q(a);CHECK,N_GUARD::QAR1(D),XQ(a)
        • Q(a);OGATE,P_PINQ(D),XR(C)::B(B),XQ(a)
        • Q(a);N_GUARD::R(C)
      • Refutation
        • Q(a);
    • Try
      • S(A);
      • Vars
        • Q(a);CHECK,N_GUARD::R(C),XQ(a)
        • Q(a);CHECK,N_GUARD::QAB1(D),XQ(a)
        • Q(a);CHECK,N_GUARD::QAR1(D),XQ(a)
        • Q(a);OGATE,P_PINQ(D),XR(C)::B(B),XQ(a)
        • Q(a);N_GUARD::R(C)
      • Refutation
        • Q(a);
    • Try
      • S(A);
      • Vars
        • Q(a);CHECK,N_GUARD::R(C),XQ(a)
        • Q(a);CHECK,N_GUARD::QAB1(D),XQ(a)
        • Q(a);CHECK,N_GUARD::QAR1(D),XQ(a)
        • Q(a);OGATE,P_PINQ(D),XR(C)::B(B),XQ(a)
        • Q(a);N_GUARD::R(C)
      • Refutation
        • Q(a);
    • Try
      • S(A);
      • Vars
        • Q(a);CHECK,N_GUARD::R(C),XQ(a)
        • Q(a);CHECK,N_GUARD::QAB1(D),XQ(a)
        • Q(a);CHECK,N_GUARD::QAR1(D),XQ(a)
        • Q(a);OGATE,P_PINQ(D),XR(C)::B(B),XQ(a)
        • Q(a);N_GUARD::R(C)
      • Refutation
        • Q(a);
    • Try
      • S(A);
      • Vars
        • Q(a);CHECK,N_GUARD::R(C),XQ(a)
        • Q(a);CHECK,N_GUARD::QAB1(D),XQ(a)
        • Q(a);CHECK,N_GUARD::QAR1(D),XQ(a)
        • Q(a);OGATE,P_PINQ(D),XR(C)::B(B),XQ(a)
        • Q(a);N_GUARD::R(C)
      • Refutation
        • Q(a);
    • Try
      • S(A);
      • Vars
        • Q(a);CHECK,N_GUARD::R(C),XQ(a)
        • Q(a);CHECK,N_GUARD::QAB1(D),XQ(a)
        • Q(a);CHECK,N_GUARD::QAR1(D),XQ(a)
        • Q(a);OGATE,P_PINQ(D),XR(C)::B(B),XQ(a)
        • Q(a);N_GUARD,XS(A)::R(C)
      • Refutation
        • Q(a);
    • Try
      • B(B);
      • Vars
        • Q(a);CHECK,N_GUARD::R(C),XQ(a)
        • Q(a);CHECK,N_GUARD::QAB1(D),XQ(a)
        • Q(a);CHECK,N_GUARD::QAR1(D),XQ(a)
        • Q(a);N_GUARD::S(A),XQ(a)
        • Q(a);N_GUARD::R(C)
      • Refutation
        • Q(a);P_PINQ(D),XR(C)
    • Try
      • B(B);
      • Vars
        • Q(a);CHECK,N_GUARD::R(C),XQ(a)
        • Q(a);CHECK,N_GUARD::QAB1(D),XQ(a)
        • Q(a);CHECK,N_GUARD::QAR1(D),XQ(a)
        • Q(a);N_GUARD::S(A),XQ(a)
        • Q(a);N_GUARD::R(C)
      • Refutation
        • Q(a);P_PINQ(D),XR(C)
    • Try
      • B(B);
      • Vars
        • Q(a);CHECK,N_GUARD::R(C),XQ(a)
        • Q(a);CHECK,N_GUARD::QAB1(D),XQ(a)
        • Q(a);CHECK,N_GUARD::QAR1(D),XQ(a)
        • Q(a);N_GUARD::S(A),XQ(a)
        • Q(a);N_GUARD::R(C)
      • Refutation
        • Q(a);P_PINQ(D),XR(C)
    • Try
      • B(B);
      • Vars
        • Q(a);CHECK,N_GUARD::R(C),XQ(a)
        • Q(a);CHECK,N_GUARD::QAB1(D),XQ(a)
        • Q(a);CHECK,N_GUARD::QAR1(D),XQ(a)
        • Q(a);N_GUARD::S(A),XQ(a)
        • Q(a);N_GUARD::R(C)
      • Refutation
        • Q(a);P_PINQ(D),XR(C)
    • Try
      • R(C);
      • Threat
        • DUALS(2)
      • Vars
        • Q(a);CHECK,N_GUARD::R(C),XQ(a)
        • Q(a);XR(C)::S(A),XQ(a)
        • Q(a);N_GUARD,P_PINQ(D)::R1(C)
      • Refutation
        • Q(a);CHECK,XB(B)
    • Try
      • Q(D);
      • Threat
        • S(A)
      • Vars
        • Q(a);CHECK,OGATE,XR(C)::B(B),XQ(a)
        • Q(a);CHECK,N_GUARD::QAR2(D),XQ(a)
      • Refutation
        • Q(a);XQ(D)
    • Try
      • Q(D);CHECK
      • Refutation
        • Q(a);XQ(D)
  • Actual
    • B(B);
    • Vars
      • Q(a);CHECK,N_GUARD::R(C),XQ(a)
      • Q(a);CHECK,N_GUARD::QAB1(D),XQ(a)
      • Q(a);CHECK,N_GUARD::QAR1(D),XQ(a)
      • Q(a);OGATE,P_PINQ(D),XR(C)::B(B),XQ(a)
      • Q(a);N_GUARD::S(A),XQ(a)
      • Q(a);N_GUARD::R(C)


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