Synthesizing gases from protons