3 ms·

Thanks! That made me stop watching The Wire and continue working my way through Practical Foundations of Mathematics.