1907.01234 — arXiv2