1712.09992 — arXiv2