RolfAndreassen comments on An angle of attack on Open Problem #1

[RolfAndreassen]

Now I see the point you were making. You’re right, the additional probability is not required, or rather, it’s built into Quirrell.