Ruchira S. DattaRuchiraSDatta@mathstodon.xyzSep 29, 2026, 8:03 PM@jedbrown Ah, that makes better sense.
