The behavior of an LLM is not and cannot be “well-specified”.