3 ms·

PS is not omniscient; for example, condensed math cannot be used to simplify Takuro Mochizuki's great work.