MathProfs and others. How would you bet?
An unbiased coin is going to be tossed 100 times and no betting is to take place until after the first 10 tosses. The first 10 tosses come up heads. The bet is: will heads maintain a 10 point lead at the 100th toss?

