2007.07143 — arXiv2