4 ms·

Ah sorry, I know that. I meant the 2020 Godel prize awarded to Moser and Tardos. Just noting the connection.