Now downloading 1807.09870v3.pdf...