2207.09602 — arXiv2