5 ms·very cool. btw, I also love that "sorry" is the "any" equivalent in Leanby kevinqi 1y agovery cool. btw, I also love that "sorry" is the "any" equivalent in Lean