2307.01317 — arXiv2