3 ms·

A bit late, but thanks for mentioning this. I just finish reading it. I hadn't heard of it previously, and it was well worth the time.