4 ms·

Sort of related... but is David Spivak related to the author of that famous Calculus textbook by Michael Spivak...?