2007.00217 — arXiv2