2002.04517 — arXiv2