3 ms·

Somewhat related book: https://www.logicomix.com/en/index.html https://www.logicomix.com/en/index.html