The quantum dynamics of an excess proton in water | Synapse