"Proton Springs"@cs .