1807.01302 — arXiv2