3 ms·

I love this book. I also think that everyone should build a theorem prover at some point, it's definitely an exercise in humilty