Problem Display
PID: 260714 (R2Bk3/1P1pNp1N/7b/6rn/n3B3/K1p5/b3R3/3r4 w - - 0 1)

Lipton, Michael

The Problemist, 1977

R2Bk3/1P1pNp1N/7b/6rn/n3B3/K1p5/b3R3/3r4

#2

8 + 10


15601 Albrecht-Leiss-Degener Collection 2022

SOLUTION


  • SOUND
  • Sets
    • 1...d6
      • 2.Bc6#
  • Tries
    • 1.Sd5?
      • threat
        • 2.Sc7#
        • 2.Bf5#
        • 2.Ba5#
        • 2.Bxg5#
        • 2.Bb6#
        • 2.Bf6#
        • 2.Bc7#
        • 2.Be7#
      • 1...Bf8+
        • 2.Be7#
      • 1...Rdxd5
        • 2.Bxg5#
        • 2.Bf6#
      • 1...Rgxd5
        • 2.Bh4#
        • 2.Bg5#
        • 2.Bf6#
      • 1...Bxd5
        • 2.Bxg5#
        • 2.Bf6#
      • 1...d6
        • 2.Bf5#
      • 1...f6
        • 2.Bg6#
      • 1...Re1
        • 2.Sc7#
        • 2.Ba5#
        • 2.Bxg5#
        • 2.Bb6#
        • 2.Bf6#
        • 2.Bc7#
        • 2.Be7#
      • 1...Rd2
        • 2.Sc7#
        • 2.Ba5#
        • 2.Bxg5#
        • 2.Bb6#
        • 2.Bf6#
        • 2.Bc7#
        • 2.Be7#
      • 1...Rd3
        • 2.Sc7#
        • 2.Ba5#
        • 2.Bxg5#
        • 2.Bb6#
        • 2.Bf6#
        • 2.Bc7#
        • 2.Be7#
      • 1...Rd4
        • 2.Sc7#
        • 2.Ba5#
        • 2.Bxg5#
        • 2.Bb6#
        • 2.Bf6#
        • 2.Bc7#
        • 2.Be7#
      • 1...Rgg1
        • 2.Sc7#
        • 2.Bh4#
        • 2.Ba5#
        • 2.Bg5#
        • 2.Bb6#
        • 2.Bf6#
        • 2.Bc7#
        • 2.Be7#
      • 1...Rg2
        • 2.Sc7#
        • 2.Bh4#
        • 2.Ba5#
        • 2.Bg5#
        • 2.Bb6#
        • 2.Bf6#
        • 2.Bc7#
        • 2.Be7#
      • 1...Rg3
        • 2.Sc7#
        • 2.Bh4#
        • 2.Ba5#
        • 2.Bg5#
        • 2.Bb6#
        • 2.Bf6#
        • 2.Bc7#
        • 2.Be7#
      • 1...Rg4
        • 2.Sc7#
        • 2.Bh4#
        • 2.Ba5#
        • 2.Bg5#
        • 2.Bb6#
        • 2.Bf6#
        • 2.Bc7#
        • 2.Be7#
      • 1...Re5
        • 2.Sc7#
        • 2.Bh4#
        • 2.Ba5#
        • 2.Bg5#
        • 2.Bb6#
        • 2.Bf6#
        • 2.Bc7#
        • 2.Be7#
      • 1...Rf5
        • 2.Sc7#
        • 2.Bh4#
        • 2.Ba5#
        • 2.Bg5#
        • 2.Bb6#
        • 2.Bf6#
        • 2.Bc7#
        • 2.Be7#
      • 1...Rg6
        • 2.Sc7#
        • 2.Bh4#
        • 2.Ba5#
        • 2.Bg5#
        • 2.Bb6#
        • 2.Bf6#
        • 2.Bc7#
        • 2.Be7#
      • 1...Rg7
        • 2.Sc7#
        • 2.Bh4#
        • 2.Ba5#
        • 2.Bg5#
        • 2.Bb6#
        • 2.Bf6#
        • 2.Bc7#
        • 2.Be7#
      • 1...Rg8
        • 2.Sc7#
        • 2.Bh4#
        • 2.Ba5#
        • 2.Bg5#
        • 2.Bb6#
        • 2.Bf6#
        • 2.Bc7#
        • 2.Be7#
      • 1...Bb1
        • 2.Sc7#
        • 2.Ba5#
        • 2.Bxg5#
        • 2.Bb6#
        • 2.Bf6#
        • 2.Bc7#
        • 2.Be7#
      • 1...Bc4
        • 2.Sc7#
        • 2.Ba5#
        • 2.Bxg5#
        • 2.Bb6#
        • 2.Bf6#
        • 2.Bc7#
        • 2.Be7#
      • 1...Bg7
        • 2.Sc7#
        • 2.Ba5#
        • 2.Bxg5#
        • 2.Bb6#
        • 2.Bf6#
        • 2.Bc7#
        • 2.Be7#
      • 1...Sc5
        • 2.Sc7#
        • 2.Ba5#
        • 2.Bxg5#
        • 2.Bb6#
        • 2.Bf6#
        • 2.Bc7#
        • 2.Be7#
      • 1...Sb6
        • 2.Sc7#
        • 2.Bf5#
        • 2.Bxb6#
      • 1...Sg3
        • 2.Sdf6#
        • 2.Sc7#
        • 2.Ba5#
        • 2.Bxg5#
        • 2.Bb6#
        • 2.Bf6#
        • 2.Bc7#
        • 2.Be7#
      • 1...Sf4
        • 2.Sdf6#
        • 2.Sc7#
        • 2.Ba5#
        • 2.Bxg5#
        • 2.Bb6#
        • 2.Bf6#
        • 2.Bc7#
        • 2.Be7#
      • 1...Sf6
        • 2.Sdxf6#
        • 2.Sc7#
        • 2.Ba5#
        • 2.Bb6#
        • 2.Bxf6#
        • 2.Bc7#
        • 2.Be7#
      • 1...Sg7
        • 2.Sdf6#
        • 2.Sc7#
        • 2.Ba5#
        • 2.Bxg5#
        • 2.Bb6#
        • 2.Bf6#
        • 2.Bc7#
        • 2.Be7#
      • 1...f5!
    • 1.Sf5?
      • threat
        • 2.Bd5#
        • 2.Ba5#
        • 2.Bxg5#
        • 2.Bb6#
        • 2.Bf6#
        • 2.Bc7#
        • 2.Be7#
      • 1...Bf8+
        • 2.Be7#
      • 1...Rxf5
        • 2.Bh4#
        • 2.Bg5#
        • 2.Bf6#
      • 1...d6
        • 2.Bc6#
      • 1...f6
        • 2.Bd5#
      • 1...Re1
        • 2.Sd6#
        • 2.Ba5#
        • 2.Bxg5#
        • 2.Bb6#
        • 2.Bf6#
        • 2.Bc7#
        • 2.Be7#
      • 1...Rd2
        • 2.Ba5#
        • 2.Bxg5#
        • 2.Bb6#
        • 2.Bf6#
        • 2.Bc7#
        • 2.Be7#
      • 1...Rd3
        • 2.Ba5#
        • 2.Bxg5#
        • 2.Bb6#
        • 2.Bf6#
        • 2.Bc7#
        • 2.Be7#
      • 1...Rd4
        • 2.Ba5#
        • 2.Bxg5#
        • 2.Bb6#
        • 2.Bf6#
        • 2.Bc7#
        • 2.Be7#
      • 1...Rd5
        • 2.Bxd5#
        • 2.Ba5#
        • 2.Bxg5#
        • 2.Bb6#
        • 2.Bf6#
        • 2.Bc7#
        • 2.Be7#
      • 1...Rd6
        • 2.Sxd6#
        • 2.Ba5#
        • 2.Bxg5#
        • 2.Bb6#
        • 2.Bf6#
        • 2.Bc7#
        • 2.Be7#
      • 1...Rgg1
        • 2.Bh4#
        • 2.Ba5#
        • 2.Bg5#
        • 2.Bb6#
        • 2.Bf6#
        • 2.Bc7#
        • 2.Be7#
      • 1...Rg2
        • 2.Bh4#
        • 2.Ba5#
        • 2.Bg5#
        • 2.Bb6#
        • 2.Bf6#
        • 2.Bc7#
        • 2.Be7#
      • 1...Rg3
        • 2.Bh4#
        • 2.Ba5#
        • 2.Bg5#
        • 2.Bb6#
        • 2.Bf6#
        • 2.Bc7#
        • 2.Be7#
      • 1...Rg4
        • 2.Bh4#
        • 2.Ba5#
        • 2.Bg5#
        • 2.Bb6#
        • 2.Bf6#
        • 2.Bc7#
        • 2.Be7#
      • 1...Rg6
        • 2.Bh4#
        • 2.Ba5#
        • 2.Bg5#
        • 2.Bb6#
        • 2.Bf6#
        • 2.Bc7#
        • 2.Be7#
      • 1...Rg7
        • 2.Bh4#
        • 2.Ba5#
        • 2.Bg5#
        • 2.Bb6#
        • 2.Bf6#
        • 2.Bc7#
        • 2.Be7#
      • 1...Rg8
        • 2.Bh4#
        • 2.Ba5#
        • 2.Bg5#
        • 2.Bb6#
        • 2.Bf6#
        • 2.Bc7#
        • 2.Be7#
      • 1...Bb1
        • 2.Bxb1#
        • 2.Bc2#
        • 2.Bd3#
        • 2.Ba5#
        • 2.Bxg5#
        • 2.Bb6#
        • 2.Bf6#
        • 2.Bc7#
        • 2.Be7#
      • 1...Bc4
        • 2.Ba5#
        • 2.Bxg5#
        • 2.Bb6#
        • 2.Bf6#
        • 2.Bc7#
        • 2.Be7#
      • 1...Bd5
        • 2.Sd6#
        • 2.Bxd5#
        • 2.Ba5#
        • 2.Bxg5#
        • 2.Bb6#
        • 2.Bf6#
        • 2.Bc7#
        • 2.Be7#
      • 1...Be6
        • 2.Ba5#
        • 2.Bxg5#
        • 2.Bb6#
        • 2.Bf6#
        • 2.Bc7#
        • 2.Be7#
      • 1...Bg7
        • 2.Ba5#
        • 2.Bxg5#
        • 2.Bb6#
        • 2.Bf6#
        • 2.Bc7#
        • 2.Be7#
      • 1...Sc5
        • 2.Ba5#
        • 2.Bxg5#
        • 2.Bb6#
        • 2.Bf6#
        • 2.Bc7#
        • 2.Be7#
      • 1...Sb6
        • 2.Bd5#
        • 2.Bxb6#
      • 1...Sg3
        • 2.Ba5#
        • 2.Bxg5#
        • 2.Bb6#
        • 2.Bf6#
        • 2.Bc7#
        • 2.Be7#
      • 1...Sf4
        • 2.Ba5#
        • 2.Bxg5#
        • 2.Bb6#
        • 2.Bf6#
        • 2.Bc7#
        • 2.Be7#
      • 1...Sf6
        • 2.Ba5#
        • 2.Bb6#
        • 2.Bxf6#
        • 2.Bc7#
        • 2.Be7#
      • 1...Sg7
        • 2.Ba5#
        • 2.Bxg5#
        • 2.Bb6#
        • 2.Bf6#
        • 2.Bc7#
        • 2.Be7#
      • 1...d5!
    • 1.Sc6?
      • threat
        • 2.Ba5#
        • 2.Bxg5#
        • 2.Bb6#
        • 2.Bf6#
        • 2.Bc7#
        • 2.Be7#
      • 1...Bf8+
        • 2.Be7#
      • 1...dxc6
        • 2.Bxc6#
      • 1...d5
        • 2.Bf5#
      • 1...f5
        • 2.Bd5#
      • 1...f6
        • 2.Bg6#
      • 1...Rgg1
        • 2.Bh4#
        • 2.Ba5#
        • 2.Bg5#
        • 2.Bb6#
        • 2.Bf6#
        • 2.Bc7#
        • 2.Be7#
      • 1...Rg2
        • 2.Bh4#
        • 2.Ba5#
        • 2.Bg5#
        • 2.Bb6#
        • 2.Bf6#
        • 2.Bc7#
        • 2.Be7#
      • 1...Rg3
        • 2.Bh4#
        • 2.Ba5#
        • 2.Bg5#
        • 2.Bb6#
        • 2.Bf6#
        • 2.Bc7#
        • 2.Be7#
      • 1...Rg4
        • 2.Bh4#
        • 2.Ba5#
        • 2.Bg5#
        • 2.Bb6#
        • 2.Bf6#
        • 2.Bc7#
        • 2.Be7#
      • 1...Ra5
        • 2.Bxa5#
      • 1...Rb5
        • 2.Bh4#
        • 2.Ba5#
        • 2.Bg5#
        • 2.Bb6#
        • 2.Bf6#
        • 2.Bc7#
        • 2.Be7#
      • 1...Rc5
        • 2.Bh4#
        • 2.Ba5#
        • 2.Bg5#
        • 2.Bb6#
        • 2.Bf6#
        • 2.Bc7#
        • 2.Be7#
      • 1...Rgd5
        • 2.Bh4#
        • 2.Ba5#
        • 2.Bg5#
        • 2.Bb6#
        • 2.Bf6#
        • 2.Bc7#
        • 2.Be7#
      • 1...Re5
        • 2.Bh4#
        • 2.Ba5#
        • 2.Bg5#
        • 2.Bb6#
        • 2.Bf6#
        • 2.Bc7#
        • 2.Be7#
      • 1...Rf5
        • 2.Bh4#
        • 2.Ba5#
        • 2.Bg5#
        • 2.Bb6#
        • 2.Bf6#
        • 2.Bc7#
        • 2.Be7#
      • 1...Rg6
        • 2.Bh4#
        • 2.Ba5#
        • 2.Bg5#
        • 2.Bb6#
        • 2.Bf6#
        • 2.Bc7#
        • 2.Be7#
      • 1...Rg7
        • 2.Bh4#
        • 2.Ba5#
        • 2.Bg5#
        • 2.Bb6#
        • 2.Bf6#
        • 2.Bc7#
        • 2.Be7#
      • 1...Rg8
        • 2.Bh4#
        • 2.Ba5#
        • 2.Bg5#
        • 2.Bb6#
        • 2.Bf6#
        • 2.Bc7#
        • 2.Be7#
      • 1...Sb6
        • 2.Bxb6#
      • 1...Sf6
        • 2.Ba5#
        • 2.Bb6#
        • 2.Bxf6#
        • 2.Bc7#
        • 2.Be7#
      • 1...d6!
    • 1.Sg6?
      • threat
        • 2.Ba5#
        • 2.Bxg5#
        • 2.Bb6#
        • 2.Bf6#
        • 2.Bc7#
        • 2.Be7#
      • 1...Bf8+
        • 2.Be7#
      • 1...Rxg6
        • 2.Bh4#
        • 2.Bg5#
        • 2.Bf6#
      • 1...fxg6
        • 2.Bxg6#
      • 1...d5
        • 2.Bf5#
      • 1...d6
        • 2.Bc6#
      • 1...f5
        • 2.Bd5#
      • 1...Rgg1
        • 2.Bh4#
        • 2.Ba5#
        • 2.Bg5#
        • 2.Bb6#
        • 2.Bf6#
        • 2.Bc7#
        • 2.Be7#
      • 1...Rg2
        • 2.Bh4#
        • 2.Ba5#
        • 2.Bg5#
        • 2.Bb6#
        • 2.Bf6#
        • 2.Bc7#
        • 2.Be7#
      • 1...Rg3
        • 2.Bh4#
        • 2.Ba5#
        • 2.Bg5#
        • 2.Bb6#
        • 2.Bf6#
        • 2.Bc7#
        • 2.Be7#
      • 1...Rg4
        • 2.Bh4#
        • 2.Ba5#
        • 2.Bg5#
        • 2.Bb6#
        • 2.Bf6#
        • 2.Bc7#
        • 2.Be7#
      • 1...Ra5
        • 2.Bxa5#
      • 1...Rb5
        • 2.Bh4#
        • 2.Ba5#
        • 2.Bg5#
        • 2.Bb6#
        • 2.Bf6#
        • 2.Bc7#
        • 2.Be7#
      • 1...Rc5
        • 2.Bc7#
      • 1...Rgd5
        • 2.Bh4#
        • 2.Ba5#
        • 2.Bg5#
        • 2.Bb6#
        • 2.Bf6#
        • 2.Bc7#
        • 2.Be7#
      • 1...Re5
        • 2.Bh4#
        • 2.Ba5#
        • 2.Bg5#
        • 2.Bb6#
        • 2.Bf6#
        • 2.Bc7#
        • 2.Be7#
      • 1...Rf5
        • 2.Bh4#
        • 2.Ba5#
        • 2.Bg5#
        • 2.Bb6#
        • 2.Bf6#
        • 2.Bc7#
        • 2.Be7#
      • 1...Sb6
        • 2.Bxb6#
      • 1...Sf6
        • 2.Sxf6#
        • 2.Ba5#
        • 2.Bb6#
        • 2.Bxf6#
        • 2.Bc7#
        • 2.Be7#
      • 1...f6!
    • 1.Bd5?
      • threat
        • 2.Sf5#
        • 2.Ba5#
        • 2.Bb6#
        • 2.Bc7#
      • 1...Rdxd5
        • 2.Ba5#
        • 2.Bb6#
        • 2.Bc7#
      • 1...Rgxd5
        • 2.Ba5#
        • 2.Bb6#
        • 2.Bc7#
      • 1...Bxd5
        • 2.Ba5#
        • 2.Bb6#
        • 2.Bc7#
      • 1...d6
        • 2.Bc6#
      • 1...Re1
        • 2.Ba5#
        • 2.Bb6#
        • 2.Bc7#
      • 1...Rd2
        • 2.Ba5#
        • 2.Bb6#
        • 2.Bc7#
      • 1...Rd3
        • 2.Ba5#
        • 2.Bb6#
        • 2.Bc7#
      • 1...Rd4
        • 2.Ba5#
        • 2.Bb6#
        • 2.Bc7#
      • 1...Rgg1
        • 2.Ba5#
        • 2.Bb6#
        • 2.Bc7#
      • 1...Rg2
        • 2.Ba5#
        • 2.Bb6#
        • 2.Bc7#
      • 1...Rg3
        • 2.Ba5#
        • 2.Bb6#
        • 2.Bc7#
      • 1...Rg4
        • 2.Ba5#
        • 2.Bb6#
        • 2.Bc7#
      • 1...Rf5
        • 2.Ba5#
        • 2.Bb6#
        • 2.Bc7#
      • 1...Rg6
        • 2.Ba5#
        • 2.Bb6#
        • 2.Bc7#
      • 1...Rg7
        • 2.Ba5#
        • 2.Bb6#
        • 2.Bc7#
      • 1...Rg8
        • 2.Ba5#
        • 2.Bb6#
        • 2.Bc7#
      • 1...Bb1
        • 2.Ba5#
        • 2.Bb6#
        • 2.Bc7#
      • 1...Bc4
        • 2.Ba5#
        • 2.Bb6#
        • 2.Bc7#
      • 1...Bg7
        • 2.Ba5#
        • 2.Bb6#
        • 2.Bc7#
      • 1...Bf8
        • 2.Ba5#
        • 2.Bb6#
        • 2.Bc7#
      • 1...Sc5
        • 2.Ba5#
        • 2.Bb6#
        • 2.Bc7#
      • 1...Sb6
        • 2.Sf5#
        • 2.Bxb6#
      • 1...Sg3
        • 2.Ba5#
        • 2.Bb6#
        • 2.Bc7#
      • 1...Sf4
        • 2.Ba5#
        • 2.Bb6#
        • 2.Bc7#
      • 1...Sf6
        • 2.Ba5#
        • 2.Bb6#
        • 2.Bc7#
      • 1...Sg7
        • 2.Ba5#
        • 2.Bb6#
        • 2.Bc7#
      • 1...f5
        • 2.Sxf5#
        • 2.Sc6#
        • 2.Sg6#
        • 2.Sg8#
        • 2.Ba5#
        • 2.Bb6#
        • 2.Bc7#
      • 1...Re5!
  • Keys
    • 1.Sg8!
      • threat
        • 2.Ba5#
        • 2.Bxg5#
        • 2.Bb6#
        • 2.Bf6#
        • 2.Bc7#
        • 2.Be7#
      • 1...Bf8+
        • 2.Be7#
      • 1...Rxg8
        • 2.Bh4#
        • 2.Bg5#
        • 2.Bf6#
      • 1...d5
        • 2.Bf5#
      • 1...d6
        • 2.Bc6#
      • 1...f5
        • 2.Bd5#
      • 1...f6
        • 2.Bg6#
      • 1...Rgg1
        • 2.Bh4#
        • 2.Ba5#
        • 2.Bg5#
        • 2.Bb6#
        • 2.Bf6#
        • 2.Bc7#
        • 2.Be7#
      • 1...Rg2
        • 2.Bh4#
        • 2.Ba5#
        • 2.Bg5#
        • 2.Bb6#
        • 2.Bf6#
        • 2.Bc7#
        • 2.Be7#
      • 1...Rg3
        • 2.Bh4#
        • 2.Ba5#
        • 2.Bg5#
        • 2.Bb6#
        • 2.Bf6#
        • 2.Bc7#
        • 2.Be7#
      • 1...Rg4
        • 2.Bh4#
        • 2.Ba5#
        • 2.Bg5#
        • 2.Bb6#
        • 2.Bf6#
        • 2.Bc7#
        • 2.Be7#
      • 1...Ra5
        • 2.Bxa5#
      • 1...Rb5
        • 2.Bh4#
        • 2.Ba5#
        • 2.Bg5#
        • 2.Bb6#
        • 2.Bf6#
        • 2.Bc7#
        • 2.Be7#
      • 1...Rc5
        • 2.Bc7#
      • 1...Rgd5
        • 2.Bh4#
        • 2.Ba5#
        • 2.Bg5#
        • 2.Bb6#
        • 2.Bf6#
        • 2.Bc7#
        • 2.Be7#
      • 1...Re5
        • 2.Bh4#
        • 2.Ba5#
        • 2.Bg5#
        • 2.Bb6#
        • 2.Bf6#
        • 2.Bc7#
        • 2.Be7#
      • 1...Rf5
        • 2.Bh4#
        • 2.Ba5#
        • 2.Bg5#
        • 2.Bb6#
        • 2.Bf6#
        • 2.Bc7#
        • 2.Be7#
      • 1...Rg6
        • 2.Bh4#
        • 2.Ba5#
        • 2.Bg5#
        • 2.Bb6#
        • 2.Bf6#
        • 2.Bc7#
        • 2.Be7#
      • 1...Rg7
        • 2.Bh4#
        • 2.Ba5#
        • 2.Bg5#
        • 2.Bb6#
        • 2.Bf6#
        • 2.Bc7#
        • 2.Be7#
      • 1...Sb6
        • 2.Bxb6#
      • 1...Sf6
        • 2.Sgxf6#
        • 2.Ba5#
        • 2.Bb6#
        • 2.Bxf6#
        • 2.Bc7#
        • 2.Be7#

FEATURES


  • Static
    • TYPE = THREAT
    • CHANGED MATES = 0
    • ADDED MATES = 7
    • REMOVED MATES = 0
  • Sets
    • P(h);OGATEB::B(C)
  • Tries
    • Try
      • S(E);
      • Threat
        • DUALS(8)
      • Vars
        • B(g);CHECK::R(G)+B(H)
        • P(h);::R(A)+B(C)
        • P(i);::R(A)+B(C),DCHECK
      • Refutation
        • P(i);
    • Try
      • S(E);
      • Threat
        • DUALS(7)
      • Vars
        • B(g);CHECK::R(G)+B(H)
        • P(h);::R(A)+B(C),DCHECK
        • P(i);::R(A)+B(C)
      • Refutation
        • P(h);
    • Try
      • S(E);
      • Threat
        • DUALS(6)
      • Vars
        • B(g);CHECK::R(G)+B(H)
        • P(h);OGATE,XS(E)::R(A)+B(C),DCHECK,XP(h)
        • P(h);S_CUTB(b)::R(A)+B(C)
        • P(i);S_CUTR(e)::R(A)+B(C)
        • P(i);::R(A)+B(C),DCHECK
        • R(e);::R(G)+B(H),XR(e)
        • S(d);::R(G)+B(H),XS(d)
      • Refutation
        • P(h);
    • Try
      • S(E);
      • Threat
        • DUALS(6)
      • Vars
        • B(g);CHECK::R(G)+B(H)
        • P(i);OGATE,XS(E)::R(A)+B(C),DCHECK,XP(i)
        • P(h);S_CUTB(b)::R(A)+B(C)
        • P(h);::R(A)+B(C),DCHECK
        • P(i);S_CUTR(e)::R(A)+B(C)
        • R(e);::R(G)+B(H),XR(e)
        • R(e);::R(G)+B(H)
        • S(d);::R(G)+B(H),XS(d)
      • Refutation
        • P(i);
    • Try
      • B(C);
      • Threat
        • DUALS(4)
      • Vars
        • P(h);OGATEB::B(C)
      • Refutation
        • R(e);
  • Actual
    • S(E);
    • Threat
      • DUALS(6)
    • Vars
      • B(g);CHECK::R(G)+B(H)
      • P(h);S_CUTB(b)::R(A)+B(C)
      • P(h);::R(A)+B(C),DCHECK
      • P(i);S_CUTR(e)::R(A)+B(C)
      • P(i);::R(A)+B(C),DCHECK
      • R(e);::R(G)+B(H),XR(e)
      • R(e);::R(G)+B(H)
      • S(d);::R(G)+B(H),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).