5.3: Guessable Correctness