I assume they wrote that with an LLM. That reads exactly like typical LLM arguments.