Comment by semigroupoid

Because this was most likely written entirely by an LLM?