Im April-Juni Heft 2012 von StrateGems veröffentlichte der Kanadier François Labelle den brillianten Aufsatz The quest for a King-only proof game, in dem er die Computer-unterstützte Suche nach eindeutigen orthodoxen Beweispartien mit nur noch den beiden Königen auf dem Brett beschreibt.

1895 hatte Sam Loyd (wer sonst??) eine nicht eindeutige Beweispartie in 17 Zügen angegeben (New York Clipper 1895, wKe2, sKe7); Gerd Wilts und Norbert Geissler fanden 1994 mit Computerunterstützung eine solche eindeutige Beweispartie mit Zusatzbedingung (Die Schwalbe 1994, Spezialpreis, wKc2, sKg8, BP in 17, Schlagfall im 2. Zug von Schwarz).

Allgemein wurde vermutet, dass mit wachsender Zügezahl die Wahrscheinlichkeit für korrekte Beweispartien dieser Art sinken würde, aber mit wachsender Computer-Leistung (nicht nur Geschwindigkeit ist dafür entscheidend, sondern wesentlich der verfügbare Haupt- und Plattenspeicherplatz!) konnte Labelle weiter gehende Untersuchungen anstellen. Dass er keine korrekte Beweispartie in 18 Zügen finden konnte, schien die oben genannte Vermutung zu bestätigen, doch Labelle ließ sich nicht entmutigen und suchte weiter, indem er die Zügezahl erhöhte und gleichzeitig die Könige „weiter aufs Brett“ trieb.

Und so wurde er mit den Vorgaben an den Computer Länge = 19,5, wK-Reihe >=5, sK-Reihe <=3 fündig: Für diese Suche benötigte benötigte sein Rechner zehn Monate Rechenzeit und zwei Terabyte Plattenplatz!