@alexdbolton@mathstodon.xyz very nice!