[Retros] rstan

[Richard Stanley]

One could also look at "half proof games" with various conditions. For 
instance, does there exist such a game that ends in mate by a pawn 
promoting to a knight? The moves of the side being mated are specified.

Richard