deduction of a guess that cannot be guessed again