1907.01239 — arXiv2