1807.02242 — arXiv2