Yeah... usages of TLA+ within the realm of LLM is kinda newish, wouldn't you agree?