1712.01200 — arXiv2