I'd add a comment at the end of this line:  // Invalidate the guesses below this level