Proton conductivity