3 ms·

surprisingly unrelated to spivak