@misc{indiciae80bb2467fbcb,
  title = {Conciseness of first-order formulae},
  author = {Martina Conte and Jan Moritz Petschick},
  year = {2025},
  url = {https://arxiv.org/abs/2505.01411},
  note = {Source identifier: 2505.01411}
}