3 ms·

I wonder if Erdos just had undiagnosed adult ADHD and just happened to have been unintentionally treating it.