@misc{indiciae127318016f15,
  title = {Truncation Structures},
  author = {Lou van den Dries},
  year = {2025},
  url = {https://arxiv.org/abs/2512.22640},
  note = {Source identifier: 2512.22640}
}