3 ms·

Also interesting that the first discussion is about the number tower, along with a reference to scheme...