Oh, yes, that is the documentary I watched. It was really great, getting to hear it from Mr. Stoll's mouth directly. He was much less enthusiastic than he ten

Oh, yes, that is the documentary I watched. It was really great, getting to hear it from Mr. Stoll's mouth directly. He was much less enthusiastic than he tends to be in Numberphile videos, I imagine that might be down to the director of the film. It is available on YouTube if anyone cares to give it a watch! https://www.youtube.com/watch?v=EcKxaq1FTac https://www.youtube.com/watch?v=EcKxaq1FTac