Martin EscardoMartinEscardo@mathstodon.xyzSep 15, 2026, 9:40 AM@ljungstrom Congratulations! Great for them, too.
Axel Ljungströmljungstrom@mathstodon.xyzSep 15, 2026, 9:28 PM@MartinEscardo thank you, and I'm happy you think that!