@jonmsterling@mathstodon.xyz I wonder if regularity holds... 🙂