A great time saver. Especially if it is KnownToHaveNoSolution.