3 ms·

I don't think either of us really posited an argument, but you're right that I shouldn't have responded to a snarky bad-faith comment with my own.