Deep-Inelastic Scattering with LHC Neutrinos | Synapse