A run and a musical :--)
How long will the race be?
Nobody knows! All we can say is that it will be somewhere between 1/2 mile and 3 miles (between 2 and 12 laps of the track). The exact number of laps will be specified by the sum of two ENORMOUS FUZZY DICE rolls – one occurring just before the start of the race, and one just before the first runner finishes the number of laps specified by the first dice roll.
wenlu [atsymbol] cs.cmu.edu (wenlu at cs.cmu.edu)