2307.01930 — arXiv2