2 ms·I also meant it unironically, btw. My intuition said the same thingby EGreg 3y agoI also meant it unironically, btw. My intuition said the same thing