In quantum physics, a strong form of G-symmetry is to couple to a G-connection, suggesting that we should formulate 4d {\mathcal {N}}= 8 supergravity on Riemannian spin 4-manifolds M together with an {\widetilde{E}}_{7(7)}-bundle P\rightarrow M and a connection on P. The spin ...