2407.17800 — arXiv2