@AmenZwa@mathstodon.xyz this is all fine. i mostly wanted to make sure this wasn't a chatbot-generated list after the conspicuously non-canonical last entry