3 ms·

I just want to point out that it's humorously appropriate for a user named "Spivak" to mention pullbacks.