4 ms·

I recall a similar story regarding (iirc) programming language type theory: "How does it handle recursion?"