ReducedToPreviouslyUnsolvedProblem
Last edit July 25, 2001
A great time saver. Especially if it is
KnownToHaveNoSolution
.